计算机科学的逻辑基础

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