数理逻辑（2025）

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

任课教师：戴望州

课程信息

地点：南雍楼西311，苏州校区
时间：周二第 3-4节
助教：
- 宋奥齐, songaq@smail.nju.edu.cn
- 苏浩, h.su@smail.nju.edu.cn
- 周桢瑜, dilantor@foxmail.com
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. 4th~~
- 01 答案
02 ~~ddl. Mar. 11th~~ （请上传一个 .lean 文件，里面包含所有命题，带注释。可借助 LLM 完成）下面是参考资料：
03 ~~ddl. Mar. 25th~~
04 ~~ddl. Apr. 1st~~
05 ~~ddl. Apr. 8th~~
06 ~~ddl. Apr. 15th~~
07 ~~ddl. Apr. 22nd~~
08 ddl. Apr. 29th

课程课件