数理逻辑（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 完成）下面是参考资料：
  • Lean Live Environment
  • Lean Prover 中文文档
  • Theorem Proving in Lean 4
• 03 ddl. Mar. 25th
• 04 ddl. Apr. 1st
• 05 ddl. Apr. 8th

课程课件

• 01-形式化推理
• 02-命题逻辑
  • Lean 4 proofs - wff
  • Lean 4 proofs - semantics
  • Lean 4 proofs - axiomatic system

历史课程

• 90112201. Mathematical Logic, 2024 Spr.