浅谈计算机逻辑学,浅谈逻辑在计算机科学中的应用

龙源期刊网 http://doc.docsou.com

浅谈逻辑在计算机科学中的应用

作者：耿云磊

来源：《中国科技博览》2017年第15期

[摘要]逻辑是计算机科学的灵魂。本文通过对逻辑和计算机科学的起源、联系的深入阐述，罗列出逻辑在计算机科学的应用和需要注意的问题，并对未来逻辑在计算机科学应用中的发展做出美好的展望。

[关键词]逻辑计算机科学应用发展

中图分类号：TM912 文献标识码：A 文章编号：1009-914X(2017)15-0121-02

引言：逻辑是一种理想抽象的思维，也在人类的不断进化中得到发展和提炼成一门专业的科学，作为计算机科学的理论基础，使计算机研究中的许多复杂问题得到了突破和解决。是以逻辑学为根基的，所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破，因此研究逻辑学在计算机科学中的应用有重要的意义和积极的推动作用。例如现今通用的计算机语言如C、C++、VB、Java语言等，都是以数理逻辑作为理论的根基。对逻辑应用的思考和研究，有利于进一步推动计算机科学与技术的发展。

1 逻辑和计算机的起源

逻辑从人类最初对世界的理性、客观的认知和解读到形成了一门成熟独立的知识学科，历经了全世界许多逻辑学家的辛苦钻研和无数科学家的一次次失败却不懈的尝试，归纳和创新。古希腊的亚里士多德是探索逻辑问题的第一人，他通过进行科学研究及总结当时的科学成就、科学研究方法，整理日常的思维形式，加以提炼，创立了以三段论为中心，包括论辩的、分析的、非分析的、归纳的本体论的逻辑学。亚里士多德建立了比较完整的逻辑学体系，使逻辑学成为一门独立的科学。而计算机的起源相对更为大家所熟悉，早在20 世纪30 年代，Godel、Church、Turing 等逻辑学家就得出了“可计算”的概念并于1936 年发明了世界上第一台用来帮助求解数学问题的通用数字计算机。从此，逻辑与计算机科学间的联系在各方面越来越紧密，而于1936年诞生的抽象计算机更是逻辑学在计算机方面的贡献。后来随着科技和人类思想的进步，数理逻辑正式成为了一门独立研究推理的逻辑学科，在计算机科学中用以推理和检验程序和计算机模型、软硬件设计、开发的正确性，联系也越来越紧密。

2 数理逻辑在计算机科学中的作用

2.1 逻辑为计算机语言提供思想

我们都知道，人类有人类的沟通语言，计算机也有计算机的语言，即为基础的0、1的二进制。计算机语言的设计就是依赖于数理逻辑的思想。从前人们运用的古典逻辑推理方法在现今技术越来越发达的时代已经远远力不从心了，因此为了建立真正智能的知识系统，非经典的