应用逻辑（原书第2版）

图书标准信息

• 作者 [美]尼罗德、[美]肖尔 著；丁德成 编
• 出版社 机械工业出版社
• 出版时间 2007-07
• 版次 1
• ISBN 9787111214045
• 定价 38.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 284页

【内容简介】

《应用逻辑（原书第2版）》是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。
本书讲述的内容广泛，深入浅出，简明易懂，适合作为计算机科学系和数学系高年级本科生以及低年级研究生的教材。

【目录】

出版者的话
专家指导委员会
译者序
中文版序
前言
绪论
第一章命题逻辑
第一节序和树
第二节命题、联结词和真值表
第三节真值指派和赋值
第四节命题演算中的表证明
第五节表证明的可靠性和完全性
第六节前件演绎和紧致性
第七节公理方法
第八节消解
第九节加细消解
第十节线性消解、Horn子句和PROLOG
进一步阅读建议
第二章谓词逻辑
第一节谓词和量词
第二节语言：项和公式
第三节形成树、结构和列表
第四节语义：含义与真值
第五节PROI；OG程序解释
第六节证明：完全系统表
第七节表证明的可靠性和完全性
第八节公理化方法
第九节前束范式和斯科朗化
第十节厄布朗定理
第十一节合一
第十二节合一算法
第十三节消解
第十四节加细消解：线性消解
进一步阅读建议
第三章PROLOG
第一节SLD一消解
第二节执行：搜索与回溯
第三节执行的控制：cut
第四节PROLOG程序终止的条件
第五节相等
第六节因失败而否定
第七节否定和非单调逻辑
第八节可计算性与不可判定性
进一步阅读建议
第四章模态逻辑
第一节可能性与必然性；知识或信念
第二节框架和力迫
第三节模态表
第四节可靠性和完全性
第五节模态公理和特殊的可达关系
第六节公理化方法
进一步阅读建议
第五章直觉主义逻辑
第一节直觉主义与构造主义
第二节框架和力迫
第三节直觉主义表
第四节可靠性和完全性
第五节可判定性和不可判定性
第六节比较指南
进一步阅读建议
第六章集合论基础
第一节集合论中的一些基本公理
第二节集合的布尔代数
第三节关系、函数和幂集公理
第四节自然数、算术和无穷
第五节替换、选择和基础
第六节谓词逻辑中的策梅洛一弗兰克尔集合论
第七节基数：有穷和可数
第八节序数
第九节序数算术和超穷归纳
第十节超穷递归、选择和有秩全域
第十一节基数和基数算术
进一步阅读建议
附录A历史回顾
附录B一个家谱数据库
参考文献