逻辑与计算

来自计算思维百科
跳转至: 导航搜索

推理与计算是相通的,数理逻辑的许多研究成果都可以用于计算科学。原则上数理逻辑已给出的思维过程可以借助计算机实现,计算科学的深入研究又推动着数理逻辑的发展。例如,一阶逻辑中没有时间的概念,而程序的推理是涉及过程的,因此需要增加程序算子或其它包含时间概念的算子,以便适用于过程推理。数理逻辑倡导的形式化方法已经广泛渗入到计算科学的各个领域中,如软件规格说明、形式语义学、程序变换、程序正确性证明、硬件综合和验证等。因此,数理逻辑与计算科学的关系非常密切,直接为计算科学的产生和发展提供了重要的思维方法和研究工具。