手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

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

卢延鑫

   本文主要以计算机科学为背景,以逻辑学为主线,以科学方法论为视角,全面系统地研讨逻辑学对于计算机科学的应用。逻辑学在计算机科学中的应用既表现在硬件设计方面,也表现在软件处理方面,特别是对形式语言系统的语法语义研究方面。在硬件设计方面,本文讨论命题逻辑及逻辑代数在电路设计中的应用,尝试提出如何设计出最优化的电路;软件处理方面,讨论逻辑学在关系数据库与人工智能中的应用。尤其探讨,谓词逻辑及公理化理论在关系数据库的数据子语言中的应用;以及如何有效地将谓词逻辑应用于人工智能中的知识表示、知识推理;还讨论谓词逻辑方法对构造程序设计语言的应用,以及谓词逻辑在计算机逻辑程序设计语言中的应用。本文最后讨论了形式化方法的重要意义及其缺陷。……   
[关键词]:逻辑学;数理逻辑;谓词逻辑;经典逻辑;关系数据库;人工智能;知识表示;知识推理;科学方法论;形式化方法
[文献类型]:硕士论文
[文献出处]:上海社会科学院2008年
App内打开