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