【离散数学】离散数学系列文章汇总目录（持续更新中）

本文属于「离散数学」系列文章的汇总目录。这一系列着重于离散数学的学习和应用。由于内容随时可能发生更新变动，欢迎关注和收藏本文以作备忘。此外，在本系列学习文章中，为了透彻理解离散数学，本人参考了诸多博客、教程、文档、书籍等资料。以下是本文的不完全参考目录，在后续学习中还会逐渐补充：

• （国外经典教材）离散数学及其应用 第八版 Discrete Mathematics and Its Applications, Eighth Edition ，作者是 Kenneth H. Rosen ，袁崇义译，机械工业出版社
• 离散数学 第二版，武波等编著，西安电子科技大学出版社，2006年

---

零、课程引言

组合数学 Combinatorics 是纯数学的一个分支，主要研究离散、有限或可数的数学结构及其相互间关系。 除了纯数学，组合数学在应用数学、理论物理、计算机科学等分支也有着很多应用。在计算机科学中，组合数学又被称作离散数学 Discrete Mathematics（形成于70年代初，是计算机科学的理论基础），指的是集合论、图论、代数结构、数理逻辑等的部分。

众所周知，计算机求解问题的基本模式是：实际问题、数学建模、算法设计、编程实现。离散数学为数学建模打下理论知识基础、 为算法设计提供具体指导，因此成为了计算机科学的核心专业基础课程，与其他CS专业课的关系十分密切：

离散数学	其他专业课程或研究方向
数理逻辑	算法设计方法、人工智能、编译理论、机器证明、形式语义学、数字电路、自动程序设计等
集合论	编译原理、人工智能、数据库、计算复杂性、开关理论、形式语言、信息检索、软件形式化方法关系等。如关系数据库中数据特性关系、程序的输入与输出关系、OOP编程中的类继承关系、结构化程序设计中的函数或子程序调用关系
代数系统	网络安全技术、可计算性与计算复杂性、算法理论 、数字电路设计、形式语言与自动机理论、编码理论
图论(树)	数据结构、网络技术、算法设计与分析、编码理论、 人工智能、关系数据库理论

离散数学自身具有逻辑性强、抽象性强的特点，注重概念、方法与应用，有很多概念、定义、公式，要求记忆准确，完成大量习题；同时要与程序语言及算法设计相结合，思考、理解并应用所学知识。

离散数学的学习内容主要分为四块，数理逻辑（命题逻辑、谓词逻辑）、集合论（包括集合、关系、函数）、图论和代数系统。

---

一、数理逻辑

研究逻辑的必要性在于，人类的高级思维是通过各种方式加以表达的，其中最重要的就是通过自然语言。然而自然语言作为一种交流思想的工具，它既要表达精确的概念，又要表达含混不清的思想，在叙述时往往显得不够确切，容易产生二义性，进行严密推理时相当不便。因此，就需要研究数理逻辑来解决这些问题。

所谓的逻辑，就是研究推理的科学，包括形式逻辑和辩证逻辑。而数理逻辑（又称符号逻辑），则是用数学方法来研究形式逻辑的一门数学学科，基本内容包括命题逻辑和谓词逻辑。数理逻辑具有符号化、形式化的显著特征，即首先把逻辑所涉及到的“概念、判断、推理”用符号来表示，然后用公理体系和形式推演来刻画推理过程的一般规律。

数理逻辑为机器证明、人工智能、程序设计自动化、 算法设计方法、形式语义学等计算机科学的应用和研究提供了必要的理论基础。

1. 命题逻辑 Proposition Logic

1893年德国数学家弗雷格 Friedrich Ludwig Gottlob Frege 在《算术基本规律》一书中介绍了命题逻辑，标志着符号逻辑系统的诞生。

命题逻辑也称命题演算，或语句逻辑。它研究的对象是命题、以命题为基本单位构成的前提和结论之间的可推导关系。什么是命题，如何表示命题？如何由一组前提推导一些结论？下列文章中将详细讨论这些问题。

1.1 命题和联结词

【离散数学】数理逻辑 第一章 命题逻辑(1) 命题和联结词 有瑕疵，未完成

1.2 命题公式

【离散数学】数理逻辑 第一章 命题逻辑(2) 命题公式及其符号化、命题公式的赋值 有瑕疵，未完成

1.3 逻辑等价与蕴含

【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含

1.4 联结词的完备集*

【离散数学】数理逻辑 第一章 命题逻辑(4) 联结词的完备集

1.5 对偶式

【离散数学】数理逻辑 第一章 命题逻辑(5) 对偶式、对偶原理

1.6 范式

【离散数学】数理逻辑 第一章 命题逻辑(6) 析取范式和合取范式、主析取范式和主合取范式及两者联系

1.7 命题逻辑的推理理论

【离散数学】数理逻辑 第一章 命题逻辑(7) 命题逻辑的推理理论

2. 谓词逻辑

命题逻辑能够对自然语言中的逻辑思维进行精确的符号化描述和形式化推演，对一些较为复杂的逻辑推理可以用形式化方法进行证明。然而由于命题逻辑以原子命题为演算的基本单位，对简单命题不再进行分解，因此无法分析命题的内部结构及命题之间的内在联系，导致命题逻辑在表示和推理方面存在局限。

19世纪末20世纪初，德国数学家弗雷格 Friedrich Ludwig Gottlob Frege、美国数学家皮尔斯 C. S. Peirce、意大利数学家皮亚诺 G. Peana 等人在命题逻辑的基础上引入了谓词和量词，构造了精细的模型，形成了一阶逻辑系统，或称谓词逻辑。1929年，库尔特·哥德尔 Kurt Godel 证明了一阶逻辑的完备性。

有一阶逻辑自然就有二阶逻辑。二阶逻辑允许量化谓词，可以做到比一阶逻辑更强的结论，例如定义外延相等。如对高阶逻辑有兴趣，可以学习 CoC (Calculus of Constructions) 结构演算，CoC允许任意阶的逻辑构造。

谓词逻辑的诞生和发展，奠定了现代数理逻辑最基本的理论基础，使之成为一门独立的学科。谓词逻辑在知识表示和推理、定理机器证明、数据库操作等很多方面都有广泛应用。

类似于命题逻辑，本章将介绍谓词和量词、谓词公式及其符号化、谓词公式的赋值、谓词演算的永真公式、谓词逻辑的推理理论。

2.1 谓词和量词

【离散数学】数理逻辑 第二章 谓词逻辑(1) 谓词、量词（全称和存在量词、全总个体域和特性谓词） 有瑕疵，未完成

2.2 谓词公式

【离散数学】数理逻辑 第二章 谓词逻辑(2) 谓词公式及其符号化、谓词公式的赋值 有瑕疵，未完成

2.3 谓词演算的永真公式

【离散数学】数理逻辑 第二章 谓词逻辑(3) 谓词公式的逻辑等价与蕴含、谓词演算的永真公式 有瑕疵，未完成

2.4 谓词逻辑的推理理论

【离散数学】数理逻辑 第二章 谓词逻辑(4) 谓词逻辑的推理理论 有瑕疵，未完成

---

二、集合论

集合论 set theory 起源于分析数学：

19世纪，德国数学家格奥·康托 Georg Cantor（1845-1918年）创立了朴素集合论。具体来说，康托29岁时（1874年）在《数学杂志》上发表了关于集合论的第一篇论文，提出了无穷集合这一数学概念，引起了数学界的极大关注。后来几年，康托对这类“无穷集合”问题发表了一系列文章，通过严格证明得出了许多惊人的结论——如证明了有理数集的可数性和实数集的不可数性，建立了实数连续性公理，被称为“Cantor公理”；还证明了“一条线段上的所有点能够和一条直线上的所有点一一对应”；……

1902年，英国数学家伯特兰·罗素 Bertrand Russel 发现了朴素集合论会导致“悖论”（理发师悖论），使得集合论一度陷入危机。1904-1908年，法国数学家恩斯特·策梅罗 Ernst Zermelo 和亚伯拉罕·弗伦克尔 Abraham Fraenkel 合作提出了一套公理，解决了朴素集合论的以上问题，并在此基础上形成了公理集合论和抽象集合论。现在，集合论已成为现代数学的基础。

3. 集合与关系

本章首先介绍集合的基本概念、集合的表示方法、集合的运算（包括集合的笛卡尔积）以及容斥原理；重点关注归纳证明；然后引入二元关系的概念，介绍集合上二元关系的特性和闭包运算，最后讨论两种常见的二元关系：等价关系和序关系。

3.1 集合的概念与表示

【离散数学】集合论 第三章 集合与关系(1) 集合的概念与表示 有瑕疵，未完成

3.2 集合的基本运算

【离散数学】集合论 第三章 集合与关系(2) 集合的基本运算 有瑕疵，未完成

3.3 容斥原理

【离散数学】集合论 第三章 集合与关系(3) 集合计数的加法原理、容斥原理 有瑕疵，未完成

3.4 归纳证明

【离散数学】集合论 第三章 集合与关系(4) 集合的归纳定义、归纳证明、数学归纳法第一/二原理 有瑕疵，未完成

3.5 集合的笛卡尔积

【离散数学】集合论 第三章 集合与关系(5) 集合的笛卡尔积、笛卡尔积对交/并的分配律、集合计数的乘法原理 有瑕疵，未完成

3.6 二元关系

【离散数学】集合论 第三章 集合与关系(6) 二元关系的定义、表示和运算及性质

3.7 集合上的二元关系及其特性

[【离散数学】集合论 第三章 集合与关系(7) 集合上的二元关系及其特性]

3.8 关系的闭包运算

【离散数学】集合论 第三章 集合与关系(8) 关系的闭包运算

3.9 等价关系

[【离散数学】集合论 第三章 集合与关系(9) 等价关系]

3.10 序关系

[【离散数学】集合论 第三章 集合与关系(10) 序关系]

4. 函数与无限集合

函数是数学中最重要的基本概念之一，能够刻画和研究现实世界中、数量关系之间相互依存和变化的客观规律及其实质。用数学解决现实问题时，常常要抽象出问题的数学特征，建立一个恰当的函数关系，再利用函数的性质达到解决问题的目的（学习Haskell会深有体会）。特别地，函数在计算机科学和软件工程专业都有广泛的应用。

经过三百多年的提炼、变革和发展，众多数学家包括笛卡尔、莱布尼兹、牛顿、贝努里、欧拉、高斯、柯西、傅里叶、罗巴切夫斯基、狄里克莱、维布伦、豪斯道夫等，从集合、代数直至对应、关系的角度，不断赋予函数概念以新的思想，形成了函数的现代定义形式，从而推动了整个数学的发展和应用。

本章将函数作为一种特殊的二元关系来讨论。首先介绍函数的基本概念、特殊函数类、鸽巢定理、函数的复合运算和逆运算，然后以函数作为工具讨论无限集合的基数及其比较。

4.1 函数

【离散数学】集合论 第四章 函数与集合(1) 函数定义、递归定义的函数

4.2 特殊函数类

【离散数学】集合论 第四章 函数与集合(2) 特殊函数类（单射、满射、双射及其性质、常/恒等函数、置换/排列）

4.3 鸽巢原理*

【离散数学】集合论 第四章 函数与集合(3) 鸽巢原理

4.4 复合函数与逆函数

【离散数学】集合论 第四章 函数与集合(4) 复合函数与逆函数

4.5 可数与不可数集合

【离散数学】集合论 第四章 函数与集合(5) 集合的基数、可数与不可数集合

4.6 基数的比较*

【离散数学】集合论 第四章 函数与集合(6) 三歧性定理、两集合基数判等定理（基数的比较）、Cantor定理

---

三、代数系统

抽象代数 abstract algebra /近世代数 modern algebra ，是研究各种各样的抽象的公理化代数系统的数学学科，它以结构研究代替计算，把从偏重于计算研究的思维方式，转变为用结构观念研究的思维方式。

自从19世纪30年代以来，伽罗瓦 Galois 、凯莱 A. Cayley 、阿贝尔 N. H. Abel 、拉格朗日 J. L. Lagrange 、约当 M. E. C. Jordan 、伯恩赛德 W. Burnside 、西罗 P. L. Sylow 、哈密尔顿 W. R. Hamilton 、克鲁尔 Krull 、戴德金 R. Dedekind 、诺特 A. E. Noether 、波利亚 G. Polya 、阿廷 E. Artin 、克罗内克 L. Kronecker 、施泰尼茨 E. Steinitz 等众多杰出数学家对抽象代数的形成、发展、应用做出了巨大贡献。

抽象代数包括群论、环论、伽罗瓦理论、格论等许多分支，与数学其他分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成为当代大部分数学的通用语言，也是现代计算机理论基础之一。

5. 代数结构

本章介绍的主要内容包括，运算与代数系统、代数系统的代数常元、半群、独异点、群、群的同态与同构、子群、交换群、置换群、循环群、陪集与拉格朗日定理、同余关系与商群、环、域等。

5.1 代数系统的组成

[【离散数学】代数系统 第五章 代数结构(1) 代数系统的组成]

5.2 半群与独异点

[【离散数学】代数系统 第五章 代数结构(2) 半群与独异点]

5.3 群

[【离散数学】代数系统 第五章 代数结构(3) 群]

5.4 子群与同态

[【离散数学】代数系统 第五章 代数结构(4) 子群与同态]

5.5 特殊的群

[【离散数学】代数系统 第五章 代数结构(5) 特殊的群]

5.6 陪集与同余关系

[【离散数学】代数系统 第五章 代数结构(6) 陪集与同余关系]

5.7 环和域

[【离散数学】代数系统 第五章 代数结构(7) 环和域]

6. 格与布尔代数

格和布尔代数是两种抽象代数系统，它们的发展历程如下：

布尔代数是英国数学家乔治·布尔 G. Boole 为了研究思维规律提出的数学模型。1854年，他在其著作 The Laws of Thought 中介绍了布尔代数，从而待数学史上树起了一座新的里程碑。

19世纪末，德国数学家戴德金 R. Dedekind 在研究交换环和理想时，引入了比布尔代数更广泛的概念——格。由于缺乏物理背景，几乎像所有的新生事物一样，格和布尔代数早期没有受到人们的重视。到了20世纪30~40年代，新的进展才迟迟到来。E. V. Hungtington 、H. M. Sheffer、M. H. Stone、G. Birkhoff、S. Maclane、C. E. Shannon 等数学家，为格理论的形成和布尔代数的应用做出了卓越的贡献。

格和布尔代数，在代系统、逻辑演算、集合论、模型论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用，特别是近几十年来，布尔代数在密码学、开关理论、自动化技术、计算机理论和逻辑设计等科学和工程技术领域发挥了重要作用。

本章将在格的基础上，讨论布尔代数系统，包括格的定义和基本性质、分配格、有界格、模格、有补格等一些特殊的格，最后深入讨论布尔格和布尔代数。

6.1 格

[【离散数学】代数系统 第六章 格与布尔代数(1) 格]

6.2 子格和格同态

[【离散数学】代数系统 第六章 格与布尔代数(2) 子格和格同态]

6.3 特殊的格

[【离散数学】代数系统 第六章 格与布尔代数(3) 特殊的格]

6.4 布尔代数

【离散数学】代数系统 第六章 格与布尔代数(4) 布尔代数

6.5 布尔代数的结构和布尔函数

[【离散数学】代数系统 第六章 格与布尔代数(5) 布尔代数的结构和布尔函数]

---

四、图论

瑞士数学家列昂哈德·欧拉 Leonhard Euler ，于1736年提出了图论 graph theory 的基本思想，并解决了著名的哥尼斯堡七桥问题，从此奠定了图论的基础……

经历了两百多年的发展，目前图论已经形成了一个数学分支。近半个世纪以来，图论在物理学、化学、运筹学、计算机科学、信息论、控制论、网络理论、博弈论、社会科学以及经济管理等诸多领域，得到了广泛应用，受到全世界数学界和工程技术界的普遍重视。

图论可以用来解决许多现实问题。例如，研究含有 $n$ 个结点的通信网络去掉 $k$ 个结点后、仍能保证网内结点互联的网络抗毁性问题（连通性），设计网络连接方式使得网络内所有结点互联、且通信链路花费最少（最小生成树），寻找因特网中两台主机间的最短路由（最短路），设计推销员到达每个城市的顺序或线路使其所走过的路程较短，进行平面电路板上的超大规模集成电路设计等。

本章主要介绍图的基本概念、图的连通性、图的矩阵表示，以及几种特殊的图，如欧拉图、汉密尔顿图、平面图、图的着色、树和运输网络。

7. 图论

7.1 图的基本概念

后面都有瑕疵

[【离散数学】图论 第七章(1) 图的基本概念]

7.2 图的连通性

[【离散数学】图论 第七章(2) 图的连通性]

7.3 图的矩阵表示

【离散数学】图论 第七章(3) 图的矩阵表示（邻接矩阵、可达矩阵、传递闭包求解算法）

7.4 欧拉图与汉密尔顿图

[【离散数学】图论 第七章(4) 欧拉图和汉密尔顿图]

7.5 平面图

[【离散数学】图论 第七章(6) 平面图]

7.6 图的着色

【离散数学】图论 第七章(6) 图的结点着色和Welch Powell法、平面图着色、希伍德五色定理、四色定理

7.7 树

【离散数学】图论 第七章(7) 无向树、生成树、根树及其应用

7.8 运输网络*

【离散数学】图论 第七章(8) 运输网络、流和割、Ford-Fulkerson定理

7.9 支配集、覆盖集、独立集、匹配

---

五、组合数学

5.1 基本组合计数公式

5.2 递推方程与生成函数

---

六、初等数论

6.1 素数

6.2 最大公约数与最小公倍数

6.3 同余

6.4 一次同余方程

6.5 欧拉定理与费马小定理