数理逻的辑.pdfVIP

目。言 本书与第 1 版一样介绍了逻辑学中的基本概念和结果，主要包括证明、真值和可计算 性.与第 1 版相同，本书主要针对有一定数学背景知识并且对数理逻辑感兴趣的读者.在这 次修订中，我们做了许多局部改动，但关系到整本书的改动共有以下三处. 第一，我们力争使书中的内容容易为学生所接受.在主要的改动中，我们不再把一些想 法和知识认为是显然的，以免数学基础较薄弱的学生无法看懂. 第二，本书的结构更加灵活，以便于教师作为教材.许多章节的开始部分都有脚注，为 教师和读者的教学和学习提供可选择的方式. 第三，近年来，理论计算机科学对逻辑学产生了一定的影响.在这次修订中，我们也突 出了一些这样的影响g 把可计算性问题作为重点内容之一，将有限模型的一些内容归入这一 部分. 本书可以作为大学本科中、高年级学生学习数理逻辑课程的入门教材.它涉及逻辑学中 的一些重要概念和定理，并阐述了它们的重要性以及与数学其他一些分支的联系. 作为教材，本书适合用半个学期到一学年的课时来讲授.半个学期一般能讲到一阶理论 的模型 (2.6 节).一个学期的话，富裕的时间，可以讲 3.0 节的不可判定性.如果第二学期还 有课程安排，那么就有时间讲授第 3 章的内容