控制论逻辑

主要指关于自动机描述和研制中涉及的逻辑。应用逻辑的一种。美国维纳在提出控制论时，强调数理逻辑在控制论中的基础作用，由此产生了与控制有关的逻辑概念、方法和系统，构成控制论逻辑。初涉及数理逻辑的基本的基础部分和计算机硬件，以后又涉及图灵机理论、递归函数论、模糊逻辑、模态逻辑、内涵逻辑等领域。