浅谈逻辑在计算机科学中的应用
来源期刊：软件工程2015年第9期
论文作者：张强
文章页码：21 - 23
关键词：逻辑;计算;计算机;
摘 要：本文阐述了逻辑与计算、计算机的起源、程序设计之间的相互关系,并在一阶逻辑的基础上,以LISP、PROLOG等为例,给出了逻辑在程序设计语言和逻辑程序设计中的应用,以此说明计算机科学是逻辑的超大规模应用。
张强
广州边防指挥学校
摘 要：本文阐述了逻辑与计算、计算机的起源、程序设计之间的相互关系,并在一阶逻辑的基础上,以LISP、PROLOG等为例,给出了逻辑在程序设计语言和逻辑程序设计中的应用,以此说明计算机科学是逻辑的超大规模应用。
关键词：逻辑;计算;计算机;
