数理逻辑（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 插件编辑导出）

N.A.

课程课件