计算机集合论与逻辑课程导引
课程信息及学习建议
NKU 的计算机集合论与逻辑是李军老师主讲的课程，涉及的主要内容为三块：
- 数理逻辑（命题逻辑、一阶逻辑）
- 集合论（ZFC 集合论）
- 递归论（原始递归函数、图灵机）
- 简单的模型论
使用的教材为
- [1] P. G. Hinman, Fundamentals of mathematical logic. Wellesley, Mass: A.K. Peters, 2005.
- [2] K. Kunen, Set theory: an introduction to independence proofs, 10. impr. in Studies in logic and the foundations of mathematics, no. 102. Amsterdam Heidelberg: North-Holland, 2006.
两本书都有语言障碍和较高的难度，因此建议搭配中文教材食用。
课程为论文结课，给分较高，我论文最终的主题有关 Hilbert 推演系统的语法以及其 Gödel 完备性，最终得分为 95.