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

【摘要】： 本文主要以计算机科学为背景,以逻辑学为主线,以科学方法论为视角,全面系统地研讨逻辑学对于计算机科学的应用。逻辑学在计算机科学中的应用既表现在硬件设计方面,也表现在软件处理方面,特别是对形式语言系统的语法语义研究方面。在硬件设计方面,本文讨论命题逻辑及逻辑代数在电路设计中的应用,尝试提出如何设计出最优化的电路;软件处理方面,讨论逻辑学在关系数据库与人工智能中的应用。尤其探讨,谓词逻辑及公理化理论在关系数据库的数据子语言中的应用;以及如何有效地将谓词逻辑应用于人工智能中的知识表示、知识推理;还讨论谓词逻辑方法对构造程序设计语言的应用,以及谓词逻辑在计算机逻辑程序设计语言中的应用。本文最后讨论了形式化方法的重要意义及其缺陷。