论文部分内容阅读
对数理逻辑在计算机科学发展过程中的作用进行了评述,指出可计算性理论、图灵机数学模型为电子数字计算机的发明奠定了基础;开关电路、时序电路、自动机是网络理论的应用与发展;计算复杂性是递归论的具体应用;形式语言是一阶逻辑的深化;程序正确性证明了应用了模态逻辑;Herbrand定理和范式定进是机器证明的理论基础。