内容简介
《简明数理逻辑》是数理逻辑的入门教材，是作者多年来数理逻辑课程的教学内容和经验总结。本书共有七章。第1章是绪论部分，简要介绍了数理逻辑的发展、形式系统、元语言与元理论以及一些预备知识。第2章介绍初等集合论。第3章、第4章分别详细讲解了命题演算、谓词演算，证明推演定理、可靠性定理，介绍完全性定理及紧致性定理。第5章讲解可计算性理论，主要讲解可判定性、部分可判定性、相对可判定性以及图灵计算的逻辑刻画等。第6章主要讲解哥德尔不完全性定理, 首先介绍皮亚诺算术系统，进而介绍哥德尔编码、元数学的算术化、可表示性等重要概念，这些都是体现数理逻辑思想的重要概念。第7章介绍模型论的初步知识和方法，讲解形式理论的模型论性质。
本书既严谨简洁又深入浅出地讲解了数理逻辑的基本内容和思想，仅需要读者具备高中数学等相关知识，因而适合本科中高年级学生和非数理逻辑专业的硕士研究生...
(展开全部)
