《数理逻辑与集合论》课程教学大纲.pdf

数理逻辑与集合论

课程编号：B3I09242A

课程中文名称：数理逻辑与集合论

课程英文名称：MathematicallogicandSettheory

开课学期：春季

学分/学时：3/48

先修课程：抽象代数

建议后续课程：组合与图论、理论计算机科学

适用专业/开课对象：数学与应用数学、信息与计算、信息安全/二年级本科生

一、课程的性质、目的和任务

《数理逻辑与集合论》是一门围绕数学形式系统展开的、抽象程度很高的学科。教学内容总

要涉及抽象概念和形式推演，课程的核心是学习公理化方法、可构造性方法和内涵外延方法。

通过本课程的学习，使学生能较系统地掌握命题演算、谓词演算、公理化的数学系统、集合

与悖论、序数与基数等方面的基本概念、基本理论和基本演算与推理技能。

《数理逻辑与集合论》是计算机、信息、哲学、数学等专业本科生的核心课，其思想、概念、

方法、理论和成果广泛地覆盖到相关专业的各个领域，该课程不仅为学生学习后续课程和参与工

作科研打下良好的基础，而且对培养学生的抽象表达能力、形式推演能力和缜密概括能力，进而

提高分析问题和解决问题的能力将起到不可或缺的作用。

通过本课程的学习，加强学生在数学和计算科学基础方面的理解，提高学生表示和推理数学

概念和符号的能力。

本课程重点支持以下毕业要求指标点：

1）掌握扎实的数学理论基础知识。

掌握形式系统内概念表达、逻辑推理的基本知识，并能应用于建立和理解各种具体的数学理

论架构，正确体会形式系统与其模型之间的关系；

体现在掌握抽象的数学系统所必需的逻辑基础，具有从符号和公理角度把握某一数学研究领

域的本领。以此为新视角，重新梳理以往学过的课程，诸如抽象代数里的群与本课程里给出的形

式群之间的关系，抽象出不同学科之间的共性等等。继而以形式化、公理化思想指导后续专业课

1

程的理解，进一步加深对数学知识表达和推理的认识。

2）了解数学基础研究及其相关应用领域的前沿及发展趋势。

逻辑还有经验的一面，现实世界中的逻辑恰恰是与不同研究领域的具体特点有关的。

逻辑是研究如何管理推理规则的科学。经典意义下的逻辑规律在微观世界中会有所不同，比

如量子力学中的叠加原理会导致分配率的失败；计算机科学中使用的直觉主义观点是不承认排中

律的。学生应当具有针对不同研究领域特点探究合适推理系统的意识和能力，能够对一些常见的

问题（比如模糊现象）进行分析和处理。

3）了解数学对其它学科的影响及应用。

“无限”概念的正确认识。

建立严格的数学分析理论是以实数理论为基础的，而建立严格的实数理论又必须以集合论为

基础，集合论的本质是“实无限”的。和直觉密切相关的是“潜无限”，结合三次数学史上的危

机正确理解这些“无限”概念。

二、课程内容、基本要求及学时分配

1.命题演算和谓词演算(14课内学时)

理解命题（断言）的概念；逻辑连接词和真值函数；复合命题的真值表；逻辑连接词的极小

完备性；论证的有效性；析取范式与合取范式；重言式与矛盾式；命题演算的三个公理模式；分

离规则；证明和定理；命题演算的演绎定理；命题演算的可靠性定理；命题演算的完备性定理；

自由变元与约束变元（量词的引入）；项与合式公式；自由代换；斯科伦函数；普遍有效性；谓词

演算的六个公理模式；推广规则；谓词演算的演绎定理；谓词演算的可靠性定理；谓词演算的完

备性定理；可满足性、赋值、解释和模型。

主要支持毕业要求指标点1）。

2.数学系统和哥德尔不完全性定理(10课内学时)

逻辑公理与数学公理；等词公理与数学系统；群公理与形式群系统（讨论抽象代数里的群概

念，考察二者的差别）；一阶算术形式系统（考察其与皮亚诺算术的差别）；哥德尔编号（形式符

号的自然数编码，实质是名与实）；递归函数（形式系统中的可表达性）；对角线原理；哥德尔不

完全性定理的证明思路（核心是自指代语句的引入），这一部分结果对很多学科都有重大的指导意

义。

主要支持毕业要求指标点1）、2）、3）。

3.非经典逻辑(8课内学时)

经典逻辑的逻辑规律，诸如“与”“或”之间的分配律、非运算的对合律、非矛盾律、排中