数理逻辑（2025）

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

任课教师：戴望州

课程信息

• 地点：南雍楼西311，苏州校区
• 时间：周二第 3-4节
• 助教：
  • 桑世杰, sangsj@lamda.nju.edu.cn
  • 袁雪容, yuanxr@lamda.nju.edu.cn
  • 李墨晗, limh@lamda.nju.edu.cn
  • 王未, 221900255@smail.nju.edu.cn
• Office Hour：周三下午（南雍楼东区510）

最新通知

• 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 插件编辑导出）

• 01, ddl. Mar. 17th
• 02, 学会安装并使用 Lean4 完成作业, ddl. Mar. 24th.

课程课件

• 01-引言
• 02-有效性和真
• 03-形式语言

历史课程

• 90112201. Mathematical Logic, 2025 Spr.
• 90112201. Mathematical Logic, 2024 Spr.