数理逻辑(2024)

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

任课教师:戴望州

课程信息

最新通知

课程材料

以下电子版书籍仅供修读本课程且买不起正版的同学使用,请勿随意传播。

课后作业

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

课程课件

  1. 01-绪论
  2. 02-命题逻辑
  3. 03-一阶逻辑
  4. 04-哥德尔不完备性定理简介