摘要
对数理逻辑在计算机科学发展过程中的作用进行了评述,指出可计算性理论、图灵机数学模型为电子数字计算机的发明奠定了基础;开关电路、时序电路、自动机是网络理论的应用与发展;计算复杂性是递归论的具体应用;形式语言是一阶逻辑的深化;程序正确性证明中应用了模态逻辑;Herbrand定理和范式定理是机器证明的理论基础.
This paper discusses the function of mathematical logic in the developing pro- cess of computer science.The invention of electronic computer is based on computability and Turing machine theory.A switch cicuit,sequential switch cicuit and automaton are applica- tion and development of network theory.Computational complexity is an application of recursion theory.Formal language is the depth of first-order logic.The poof of program correctness is an area of an application of modal logic.The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem.
基金
江苏省教委自然科学基金资助课题.
