数理逻辑

第一章 非形式的命题演算

理解命题、联结词、真值的概念，掌握范式的计算

第二章 形式的命题演算

了解形式系统L的概念及其完备

第三章 非形式的谓词演算

理解谓词、量词、解释的概念，并掌握一阶语言

第四章 形式的谓词演算

了解形式系统KL及其完备性，理解前束范式的概念

第五章 数学系统

理解一阶系统、算术、模型的概念，了解形式集合论

第六章 哥德尔不完全性定理

理解递归函数和关系，了解哥德尔不完全性的证明

第七章 可计算性 不可解性 不可判定性

了解算法、可计算性的概念和形式系统的不可判定性