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