数理逻辑（2024）

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

任课教师：戴望州

课程信息

地点：南雍楼西209，苏州校区
时间：周三第 3-4节
助教：
- 何语丛, yche@smail.nju.edu.cn
- 张欣爽, Zhangxs@smail.nju.edu.cn
- 周昱辙, yuzhezhou@smail.nju.edu.cn

最新通知

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
- J. W. Lloyd. Foundations of Logic Programming. PDF
- 郝兆宽, 杨睿之. 《数理逻辑：证明及其限度》.

课后作业

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

01 ddl. Mar. ~~14th~~ 21st (delayed).
02 ddl. Mar. 28th.
03 ddl. Apr. 11th
04 ddl. Apr. 17th
05 ddl. Apr. 28th
06 ddl. May. 9th
07 ddl. May. 30th
08 ddl. Jun. 6th

课程课件