数理逻辑（2025）

南京大学苏州校区，本科生课程

任课教师：戴望州

课程信息

• 地点：南雍楼西311，苏州校区
• 时间：周二第 3-4节
• 助教：
  • 宋奥齐, songaq@smail.nju.edu.cn
  • 苏浩, h.su@smail.nju.edu.cn
  • 周桢瑜, dilantor@foxmail.com

最新通知

• TBA.

课程材料

以下电子版书籍仅供修读本课程且买不起正版的同学使用，请勿随意传播。

• 参考书：
  • Herbert B. Enderton. A Mathematical Introduction to Logic. 英文版 / 中文版
  • Peter Smith. An Introduction to Formal Logic. PDF
  • Peter Smith. Gödel Without (Too Many) Tears. PDF
  • Peter Smith. An Introduction to Gödel’s Theorems. PDF
  • 郝兆宽, 杨睿之. 《数理逻辑：证明及其限度》.

课后作业

请提交电子版（建议用 vscode 的 Markdown Preview Enhanced 插件编辑导出）

• TBA.

课程课件

• TBA.

历史课程

• 90112201. Mathematical Logic, 2024 Spr.