What：数理逻辑是数学的一个分支,是数学基础的一个不可缺少的组成部分.数理逻辑的研究范围是逻辑中可被数学模式化的部分.数理逻辑的研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统.(from Wikipedia)

Who： 秦逸(南京大学仙林校区计算机科学与技术系楼501室；)

Where：仙林校区逸B-212

When：每周五2-4节（09:00 - 12:00），1-16周

Which：《数理逻辑十二讲》， 宋方敏、吴骏著，机械工业出版社(请注意选择第二次印刷的版本)。教材的电子版本和对应勘误表已在本网站发布(仅供个人使用，版权归属作者和出版社).

Why：数理逻辑的研究孕育了计算机科学.除了理论计算机科学之外，数理逻辑或基于数理逻辑的研究成果，对编程语言、软件系统理论和人工智能理论都产生了巨大而深远的影响。数理逻辑课程中所展现的，对计算过程的形式化定义、描述和证明方法，被广泛地应用于计算机领域的学术研究中.

课程规则

课程平时成绩占总成绩的10%，期中作业占总成绩的20%，期末考试成绩占总成绩的70%.

平时成绩主要由作业提交情况决定.

期中作业会在第五章教学结束后进行，形式为课后习题，主要考察前四章介绍的关于数理逻辑的基本概念和基本方法，难度会显著低于课后作业.

期末考试会在学期结束后进行，形式为开卷考试，主要考察课程讲述的关于数理逻辑的基本方法和基本技巧，难度会显著低于课后作业.

动态新闻

2024-06-13：第十二讲相关资料上传

2024-06-13：第四次作业上传

2024-05-20：第十讲、第十一讲相关资料上传

2024-05-20：第三次作业上传

2024-05-20：第六讲、第七讲相关资料上传

2024-05-06：期中作业上传

2024-05-06：第八讲、第九讲相关资料上传

2024-04-15：第二次作业上传

2024-04-15：第四讲相关资料上传

2024-03-22：第三讲相关材料上传

2024-02-29：第一次课程相关材料上传

2024-02-26：课程教材及勘误上传

2024-02-26：课程主页建立，散花

课程讲义

一般上课前给出，但可能随时会更新，注意看更新时间，以确保自己下载的是最新版

• 第十二讲 模态逻辑简介（2024年06月13日更新）

• 第十一讲 紧性定理（2024年05月20日更新）

• 第十讲 Gentze系统基本定理（2024年05月20日更新）

• 第七讲 Herbrand定理（2024年05月20日更新）

• 第六讲 完全性定理（2024年05月20日更新）

• 第九讲 谓词逻辑永真推理系统（2024年05月06日更新）

• 第八讲 命题逻辑永真推理系统（2024年05月06日更新）

• 第三点五讲 哥德尔不完备性定理（2024年04月15日更新）

• 第四讲 一阶语言自然推理系统（2024年04月15日更新）

• 第三讲 一阶语言（2024年03月22日更新）

• 第一讲 命题逻辑（2024年02月29日更新）

• 补充材料 集合论概述（2024年02月29日更新）

• 课程简介（2024年02月29日更新）

• 《数理逻辑十二讲》勘误（2024年02月26日更新）

• 《数理逻辑十二讲》 由宋方敏老师授权发布（2024年02月26日更新）

书面作业

课程邮箱为mathlogicnju at 163.com, 提交时请将邮件主题设为“学号+姓名+第XX次作业”。提交时可以提交1）电子版作业；2）手写作业的照片，但请注意提交版本的清晰度。

• 第四次作业（2024年06月13日更新）

• 第三次作业（2024年05月20日更新）

• 期中作业（2024年05月06日更新）

• 第二次作业（2024年04月15日更新）

• 第一次作业（2024年03月22日更新）

补充材料

本课程的书面作业涉及到大量数学公式的表示和排版。推荐大家使用科技排版系统LaTex完成并提交电子版本的书面作业。LaTex是由图灵奖得主Leslie Lamport设计并开发的一种排版系统，在今日的学术论文撰写中有着不可替代的重要作用。这里是其中文版本CTex的下载地址。

参考书目选择: 由于课程教材主要侧重于数理逻辑原理、方法的数学表示，给同学们在课余时间的教材阅读、理解带来了一定的难度。同学们可以自由选择下列参考书籍作为辅助，以帮助理解教材中所列的数学表示之后的原理。