摘要
本文阐述了逻辑与计算、计算机的起源、程序设计之间的相互关系,并在一阶逻辑的基础上,以LISP、PROLOG等为例,给出了逻辑在程序设计语言和逻辑程序设计中的应用,以此说明计算机科学是逻辑的超大规模应用。
This paper gives the relationships between logic and computing,logic and the origin of computer,logic and programming.On the basis of first-order logic,this paper takes LISP and PROLOG as examples to explain the application of logic in programming language and logic programming,and shows that computer science is a very large scale application of logic.
出处
《软件工程师》
2015年第9期21-23,共3页
Software Engineer
关键词
逻辑
计算
计算机
logic
computing
computer
