北京大学离散数学教材 2

引言Discrete Math.离散数学研究离散对象及其相互间关系的一门数学学科。

研究离散结构的数学分支。

（辞海）计算机科学、信息科学、数字化科学的数学基础离散数学的内容：数理逻辑(Mathematics Logic)集合论(Sets)代数结构(Algebra Structure)图论(Graph Theory)组合论(Combination)线性代数(Linear Algebra)概率论(Probability Theory)……与高等数学的区别教学内容：数理逻辑(Mathematics Logic)集合论(Sets)代数结构(Algebra Structure)图论(Graph Theory)离散数学的由来与发展：一、古老历史：计数：自然数发展：图论：Konigsberg七桥问题二、年青新生：计算机：二进制运算离散数学课程设置：计算机系核心课程信息类专业必修课程其它类专业的重要选修课程离散数学的后继课程：数据结构、编译技术、算法分析与设计、人工智能、数据库、……离散数学课程的学习方法：强调：逻辑性、抽象性；注重：概念、方法与应用参考教材：1、离散数学（耿素云，屈婉玲，北大版）2、离散数学（方世昌，西安电子科大版）3、离散数学结构（第三版、影印版）（Bernard Kolman、Robert C.Busby、Sharon Ross，清华版）4、离散数学提要与范例（阮传概、卢友清，北京广播学院版）第一章命题逻辑（Proposition Logic）1、命题符号化及联结词2、命题公式及分类3、等值演算4、联结词全功能集5、对偶与范式6、推理理论逻辑学：研究推理的一门学科数理逻辑：用数学方法研究推理的一门数学学科——一套符号体系+ 一组规则数理逻辑的内容：古典数理逻辑：命题逻辑、谓词逻辑现代数理逻辑：逻辑演算、公理化集合论、递归论、模型论、证明论1、命题符号化及联结词命题(Proposition)：一个有确定真或假意义的语句。

2020/10/7
W1 W2 W3 W4 W5 W11 W12 W13 W14 W15 W6 W7 W8 W9 W10
20
S10
方案的最优性
满足目标要求： 任取 10 个工作站. 如果恰好为 W1,W2,…,W10，Wi 访问 Si，i=1,…10, 满足要求; 如果 W1-W10 中只选中 k 个工作 站，不妨设为 W1--Wk, 剩下的 10-k 个选自 W11-W15. 那 么 Wi 访问 Si，i=1,…,k. 还剩下 10-k 个服务器空闲，恰好 分配给 10-k 个工作站.
保证这组工作站可以同时访问不同的服务器.
问题：达到这个目标需要的最少缆线数目 N 是多少？
方案 1：每个工作站都连到每个服务器，需要
1015=150
2020/10/7
根缆线，N 150.
例11的解决方案
方案 2 将工作站标记为 W1,W2, …, W15, 服务器标记为 S1,S2, …, S10. 对于 k=1,2,…,10，我们连接 Wk 到 Sk, 剩下 5 个工作站的每一个都连接到 10 个服务器 总共 60 条直接连线.
2020/10/7
简单Ramsey定理的推广
(1) R(p,q)的集合表述：
Kn 的顶点集 V
集合 S
Kn 的边集 E
S 的 2 元子集的集合 T
用 2 色涂色 Kn 的边 将 T 划分成 E1,E2
存在蓝色完全 p 边形 存在 S 的 p 子集，其所有 2 元子集E1
存在红色完全 q 边形 存在 S 的 q 子集，其所有 2 元子集E2
对于 K8，存在一种涂色方案， 既没有蓝色三角形，也没有红 色完全四边形.
R(3,4)=9.
2020/10/7

第2章 谓词逻辑
例如， “x是偶数”可以用谓词P(x)表示， P(2)、 P(3) 分别表示“2是偶数”、 “3是偶数”。 “x小于y”可以用 谓词Q(x， y)表示， Q(5， 7)、 Q(6， 5)分别表示“5小于 7”、 “6小于5”。 “x在y和z之间”可以用谓词R(x, y, z)表示， R(a, b, c)表示“a在b和c之间”。
第2章 谓词逻辑
定义2.3.3 设A是谓词公式， 如果对于任何赋值， A的 真值都为真， 则称谓词公式A是永真式； 如果对于任何赋值， A的真值都为假， 则称谓词公式A是永假式； 若存在一种赋 值， 使得A的真值为真， 则称谓词公式A是可满足式。
由定义可知， 对于任意谓词公式A， 若A是永真式， 则 A在特定论域E上永真； 若A是永假式， 则A在特定论域E上永 假； 若A在特定论域E上可满足， 则A是可满足式。
…… n元谓词用于刻画n个个体之间的关系， 由一个表示n个 个体关系的大写字母(称为n元谓词符、 n元关系符)和n个个 体常元或变元组成的表达式表示， 如R(a1, a2, …, an)、 R(x1, x2, …, xn )等。 根据以上约定， 谓词就可以简单地描述为是由一个谓词 符和若干具有有固定次序的个体常元或变元组成的表达式。 带有 n(n≥0)个个体的谓词称为n 元谓词。
所有命题， 如“所有的人都要呼吸”、 “有些有理数是自然
数”等。 为了刻画这类表示全称判断或特称判断的命题， 需
要引入量词( quantifier )。
1.
x表示“对于所有的x”、 “对于任一x”或“对于每
一个x”，
(universal
quantifier)，x是量词 的作用变元(指导变元)。
第2章 谓词逻辑

第三部分逻辑学第六章命题逻辑第一节命题演算6-1-1 命题1.什麽叫命题其结果能判断真假，但不能既真又假的陈述句，称为命题。

作为判断使用的句子都是陈述句。

2.作为命题的陈述句，不能分成更简单的陈述句，这样的命题叫原子命题。

即简单命题。

3.什麽叫命题的真值作为命题的陈述句的判断结果，即正确（对应着真命题）或错误（对应着假命题）的两个值。

4.为了研究方便，我们把简单命题符号化。

每一个简单命题用一个小写英文字母表示。

而命题真值也要符号化。

用 1 表示命题的结果是真，即真命题；用 0 表示命题的结果是假，即假命题。

联结词与复合命题及其真值1.我们称用联结词联结在一起的简单命题为复合命题。

（1）否定联结词与命题否定式：“﹁”是否定联结词。

通过他可以构成命题否定式。

例如：用 p 表示“4是素数”。

p 的真值显然是假，即真值为 0；¬ p 表示假命题 p 的否定式，¬ p 的真值自然为真，即为 1。

（2）合取联结词与命题的合取式：“∧”是合取联结词。

通过他可以构成命题的合取式。

例如：p∧q，即 p 与 q 同时为真，复合命题的值才为真，即0 ∧ 0 = 0；0 ∧ 1 = 0；1 ∧ 0 = 0；1 ∧ 1 = 1。

所以，在p，q取不同真值的4种情况下，命题的合取式只有一个真值。

（3）析取联结词与命题析取式：“∨”是析取联结词。

通过他可以构成命题的析取式。

例如：p∨q，只要 p 、q 中至少一个真值为真，其值便为真，即0 ∨ 0 = 0；0 ∨ 1 = 1；1 ∨ 0 = 1；1 ∨ 1 = 1。

所以，在 4 种情况下，只有一个情况是假命题，即简单命题同时为假时命题析取式真值为 0。

（4）蕴涵联结词与命题蕴涵式：“如果... 则...”被称为蕴涵联结词，采用蕴涵符号“→”。

在这类句型中，q 是 p 的必要条件；p 是 q 的充分条件；蕴涵式 p→q 只有一个假值，即p为真，q 为假时蕴涵式命题的真值为 0。

7
解密算法正确性证明(续)
从而存在h使得 mk(n)=hq+1, 两边同乘以m, 并注意到m=cp, mk(n)+1=hcpq+m=hcn+m, 得证 mk(n)+1≡m(mod n), 即 mdw≡m(mod n).
8
模幂乘运算
模幂乘运算ab(mod n) 设b=b0+b1×2+…+br1×2r1, 其中bi=0或1, 于是
a a (a ) (a
b b0 2 b1
2r 1 br 1
)
(modn)
令 A0=a, Ai≡(Ai1)2(mod n), i=1, 2,…,r1, 则有
a A A A
b b0 0 b1 1
br 1 r 1
(modn)
9
实例
例1 p=43,q=59, n=43×59=2537,(n)=42×58=2436, w=13. A, B,…, Z依次用00, 01,…,25表示, 各占2位. 设明文段m=2106, 即VG, 密文c=210613mod 2537. 计算如下: 13=(1101)2, 即13=1+22+23. A0=2106≡431(mod 2537), A1≡(431)2≡560(mod 2537), A2≡5602≡988(mod 2537), A3≡(988)2≡601(mod 2537), 210613≡(431)×(988)×(601)≡2321(mod 2537), 得密文c=2321.
4
加密算法
线性同余加密算法 E(i)=(ai+b)mod 26, 其中a与26互素. i=0, 1,…,25,
维吉利亚(Vigenere)密码 把明文分成若干段, 每一段有n个数字, 密钥k=k1k2…kn, 加密算法 E(i1i2…in)=c1c2…cn, 其中cj=(ij+kj)mod 26, ij=0,1,…,25, j=1, 2,…, n.

13
群中的术语(续 群中的术语 续)
定义14.16 设G是群,x∈G,n∈Z,则 x 的 n 次幂 xn 定 是群, ∈ , ∈ , 定义 是群 义为
n=0 e xn = xn1 x n > 0 ( x1 )m m = n, n < 0
n∈Z
实例 在<Z3,⊕ >中有 23=(21)3=13=1⊕1⊕1=0 ⊕ 中有 ⊕ ⊕ 在 <Z,+> 中有 (2)3=23=2+2+2=6
8
实例
其中为矩阵乘法 为矩阵乘法, 设半群 V1=<S,>,独异点 V2=<S,,e>. 其中 为矩阵乘法, , e 为2阶单位矩阵 且 阶单位矩阵, 阶单位矩阵
a 0 | a, d ∈ R S = 0 d
a 0 a 0 f 0 d = 0 0
( x1 x 2 ... x n ) 1 = x n x n1 ... x 2 x1
1
1
1
1
等式(5)只对交换群成立 如果G是非交换群 是非交换群, 等式 只对交换群成立. 如果 是非交换群,那么 只对交换群成立
( xy ) = ( xy )( xy )...( xy )
n n个
17
群的性质---群方程存在唯一解 群的性质 群方程存在唯一解
3
实例
是半群, 是普通 例1 (1) <Z+,+>,<N,+>,<Z,+>,<Q,+>,<R,+>是半群,+是普通 是半群 加法, 其中除<Z 外都是独异点. 加法 其中除 +,+>外都是独异点 外都是独异点 (2) 设n是大于 的正整数 是大于1的正整数 是大于 的正整数,<Mn(R),+>和<Mn(R),>都是半群 和 都是半群 和独异点,其中+和 分别表示矩阵加法和矩阵乘法 分别表示矩阵加法和矩阵乘法. 和独异点,其中 和分别表示矩阵加法和矩阵乘法 (3) <P(B),⊕>为半群,也是独异点,其中⊕为集合的对称 为半群, ⊕ 为半群 也是独异点,其中⊕ 差运算. 差运算 (4) <Zn, ⊕>为半群,也是独异点,其中 n={0,1, … , n1}, 为半群, 为半群 也是独异点,其中Z , 为模n加法 加法. ⊕为模 加法 (5) <AA,>为半群,也是独异点,其中为函数的复合运算 为半群, 为半群 也是独异点,其中为函数的复合运算. (6) <R*,>为半群,其中 为非零实数集合,运算定义 为半群, 为非零实数集合, 为半群 其中R*为非零实数集合 如 下:x, y∈R*, xy = y. ∈ 4

由原子命题组合而成的命题称为复合 命题（compound proposition）。
例如：
和 e 都是无理数。 6和8至少有一个是合数。 说刘老师讲课不好是不正确的。 不下雨我就去买书。
7
命题与命题联结词
将命题连接起来的方式叫做命题联结词
（ proposition connective ） 或 命 题 运 算 符
3
命题与命题联结词
逻辑
如何表示？ 如何“操作”？
非真即假的陈述句称为命题（proposition）。 一个命题如果是对的或正确的，则称为真命
题，其真值为“真”（true），常用T或1表示； 一个命题如果是错的或不正确的，则称为假
命题，其真值为“假”（false），常用F或0表示。
4
命题与命题联结词
32
命题公式及其分类
为简化公式的形式，作如下规定：
(1) 优先级 , (∧, ∨), (, ) (2) 公式 (~p) 的括号可以省略，写成 ~p (3) 整个公式最外层的括号可以省略
例1
(((p)∧q)(q∨p)) p∧q q∨p
例2
p∧q∨r 不是 命题公式 应写作 (p∧q)∨r 或 p∧(q∨r)
例 判断下列句子哪些是命题，哪些不是
这门课程题为“离散数学”。 这门“离散数学”讲得好吗？ X 这门“离散数学”讲得真好！ X 请学习“离散数学” 。 X 5是素数。 太阳从西方升起。 如果明天晴，而且我有空，我就去踢球。 天王星上没有生命。 x + 3 > 5。 X 5 本命题是假的。X
俞伯牙和钟子期是好朋友。 俞伯牙是好朋友 ∧ 钟子期是好朋友 俞伯牙 ∧ 钟子期是好朋友 Friend (俞伯牙,钟子期)
23

2013-1-2
《集合论与图论》第2讲
15
命题符号化(举例、续)
例:
“有些病人相信所有的医生”。 解: 设: F(x): x是病人; G(x): x是医生; H(x,y): x相信y 原命题符号化成: x(F(x)y(G(y)H(x,y)))
2013-1-2
《集合论与图论》第2讲
16
命题符号化(举例、续)
2013-1-2 《集合论与图论》第2讲 10
命题符号化(举例、续)
例:
“凡人都是要死的”. 解1: 采用全总个体域. 设: F(x): x是人; G(x):x是要死的. 原命题符号化成: x(F(x)G(x)) 解2: 采用全体人作为个体域. 设: G(x): x是要死的. 原命题符号化成: xG(x)
2013-1-2
《集合论与图论》第2讲
14
命题符号化(举例、续)
例:
“有的汽车比火车快”。 解: 设: F(x): x是汽车; G(x): x是火车; H(x,y): x比y快 原命题符号化成: x(F(x)y(G(y)H(x,y))) 或: xy(F(x)G(y)H(x,y))
例:
“存在唯一的对象满足性质P”。 解: 设: P(x): x满足性质P 原命题符号化成: !xP(x) 或: x( P(x) y( P(y)x=y ) )
2013-1-2
《集合论与图论》第2讲
17
合式公式中的变项
在xA, xA中, A是量词的辖 域. 例如: x(F(x)y(G(y)H(x,y))) 指导变项: 紧跟在量词后面的个体变项. 例如: x(F(x)y(G(y)H(x,y))) 约束出现: 在辖域中与指导变项同名的变 项. 例如: x(F(x)y(G(y)H(x,y))) 自由出现: 既非指导变项又非约束出现. 例如: y(G(y)H(x,y))

第二类是复合命题，它由原子命题、命题联结词和圆括号组成。什么是命题联结词？下面就来定义五个常用命题联结词。
3.命题联结词
定义1.1.1设P表示一个命题，由命题联结词和命题P连接成P，称P为P的否定式复合命题，P读“非P”。称为否定联结词。P是真当且仅当P为假；否定联结词“”的定义可由表1.1.1表示之。
1.1
1.命题的概念
所谓命题，是指具有非真必假的陈述句。而疑问句、祈使句和感叹句等因都不能判断其真假，故都不是命题。命题仅有两种可能的真值：真和假，且二者只能居其一。真用1或T表示，假用0或F表示。由于命题只有两种真值，所以称这种逻辑为二值逻辑。命题的真值是具有客观性质的，而不是由人的主观决定的。
例1.1.1判断下列语句哪些是命题
第
命题逻辑，也称命题演算，记为LS。它与谓词逻辑构成数理逻辑的基础，而命题逻辑又是谓词逻辑的基础。数理逻辑，又名为符号逻辑，它是选用数学方法即通过引入没有二义性的表意符号，使用公认的与任一特定的论证无关的规则研究推理的学问。
命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。那么，什么是命题？如何表示和构成？如何进行推理的？下面逐一地进行讨论。
3.一方面每章各有独立性，教师根据需要可以单独选讲几章；另一方面，尽可能注意各章之间的联系，规范并统一了符号和术语。
本书在编写过程中，得到了有关领导、老师和同学的热情关心、支持和帮助，在此一并表示感谢。
限于作者水平，书中难免有不当和疏漏之处，恳请读者批评指正。
编者
于大连理工大学
2008年9月
由于离散数学上课学时普遍减少，电子教案只包含了数理逻辑、集合论、代数结构和图论的基本理论部分。使用它的各位老师，可以根据教学计划的需求，适当做删减或增补。

与
到W的半群同态。
群
证明 对于任意的a,b∈R，有
(g·f)(a*b) = g(f(a*b))
= g(f(a)f(b))
= g(f(a))g(f(b))
= (g·f)(a)(g·f)(b)
所以，g·f是从U到W的半群同态。
7.1半群与独异点
第 定理7-7 设U=<R,*>和V=<S,+>都是半群，则U和
因此，U是一个群。
7.2 群与子群
第 定义7-11 设U=<S,*>是一个群。若
7 章
(1) S为有限集合，则称U为有限群，
半
若|S|=n，则称U为n阶群；
群 与
(2) S为无限集合，则称U为无限群。
群
7.2 群与子群
第 定理7-9 群中不存在零元。
7 章
证明 设U=<S,*>是任意一个群，当群的阶为1时，
半
集合S中唯一的一个元素看作是群的幺元。
群 与
设|S|>1，且存在零元。因零元不存在逆元，
群 而群中每个元素都必须是可逆的，于是产生矛盾，
所以，群中不存在零元。
7.2 群与子群
第 定理7-10 幺元是群中唯一的一个幂等元。
7 章
证明 对于幺元e，因e2=e，故e是幂等元。
半
若a也是幂等元，即若a*a=a，则
群 与
e = a-1*a
群
= a-1*(a*a)
= (a-1*a)*a
= e*a
=a
这说明e是唯一的幂等元，证毕。
7.2 群与子群
第 定理7-11 设U=<S,*>是一个群，则对于任意的
7 章

E AA∪B∪BC
C
n
A k A 1A 2 A n
k 1
二、集合的并 (Union)
3、性质
1)幂等律 A∪A =A
2)零律
A∪U =U
3)同一律 A∪ =A
4)交换律 A∪B =B∪A
5)结合律 A∪(B∪C) =(A∪B)∪C
二、集合的并 (Union)
3、性质
， 6)
若A⊆B，C⊆D，则A∪C
是集合，没有元素
有1个元素的集合
2) ∈{}， {}
五、特殊集合
1、空集
定理 空集是任一集合A的子集，即 ⊆A。
下列命题是否为真。
1)√⊆;
2) ∈ ; 3) ⊆{}; 4) ∈{} 。
√
√
五、特殊集合
1、空集
推理 空集是唯一的。(绝对唯一)
证明： 设1，2是两个空集, 则1 2，且2 1，
证明唯一性 一般采用反
1、符号表示法
通常用大写字母A, B, C, …代表集合; 用小写字母a, b, c, …代表元素。
1)如果a是集合A的一个元素, 则记为 a∈A, 读做“a属于A”,或 “a在集合A中”。
2)如果a不是集合A的一个元素, 则记为 a∈A, 读做“a不属于A”,或 “a不在集合A中”。
注：任一元素, 对某一集合而言, 或属于该集合, 或不属于该集合, 二者必居其一, 且只居其一。
1) 若b∈A，则b是不给自己刮脸的人， 而由题意，b只给集合A中的人刮脸。 ∴b 要给b 刮脸， 即b ∈ A。
理发师问题
在一个很僻静的孤岛上，住着一些人家，岛上只 有一位理发师，该理发师专给那些并且只给那些自己 不刮脸的人刮脸。那么，谁给这位理发师刮脸？

2013-1-6
《集合论与图论》第1讲
7
进度安排
课程将在4月底或5月初结束 第13周(5月18日)前考试
2013-1-6
《集合论与图论》第1讲
8
成绩评定
书面作业占10%，3道题/每次课 平时测验占30%，1小时/每次，2次 期末考试占60%
2013-1-6
《集合论与图论》第1讲
第1章 第2章 第3章 第4章 第5章

2013-1-6
《集合论与图论》第1讲
6
内容介绍

《集合论与图论》

第二部分 图论



第7章 第8章 第9章 第10章 第11章 第12章 第13章 第14章
图 欧拉图与哈密顿图 树 图的矩阵表示 平面图 图的着色 支配、覆盖、独立、匹配 带权图
办公室:
理科1#楼1708 电话: 62752366
2013-1-6
《集合论与图论》第1讲
12
《集合论与图论》 《离散数学》系列课程之一
刘田 北京大学计算机系 2003年2月
2013-1-6 《集合论与图论》第1讲 1
教材
《集合论与图论》，离散数学二分册，
耿素云，北大出版社，1998年2月
2013-1-6
《集合论与图论》第1讲
2
参考书

《离散数学习题集》，耿素云，北大出 版社


数理逻辑与集合论分册，1993年2月 图论分册，1990年3月
lt@
讲义下载：
ftp://162.105.30.157/incoming/Liu_Tian/
2013-1-6
《集合论与图论》第1讲

离散数学北京大学出版社第二版配套PPT课件介绍本文档是北京大学出版社出版的《离散数学》第二版的配套PPT课件的简介。

透过课件，学生可以更好地理解和学习离散数学的概念和原理。

课件的作者包括屈婉玲、耿素云和张立昂等离散数学领域的专家，他们精心设计了课件的内容和布局，旨在帮助学生更好地理解离散数学的基础知识，并应用到实际问题中。

内容概述离散数学是计算机科学和信息技术中的一门基础课程，它研究离散的数学结构和离散对象之间的关系。

离散数学的理论和方法在计算机科学、密码学、人工智能等领域有着广泛的应用。

《离散数学》第二版的配套PPT课件涵盖了离散数学的主要内容，包括集合论、逻辑、关系、图论、计数原理等。

课件的设计旨在让学生通过图示、例子和练习等形式来理解和掌握离散数学的概念和方法。

课件还提供了一些附加材料和参考资料，供学生进一步学习和探索离散数学的相关内容。

课件特点1.系统性：课件内容有机地连接起来，形成一个完整的体系，学生可以从不同的章节中逐步深入学习离散数学的不同方面。

2.可视化：课件中使用了大量的图示和示例，帮助学生更直观地理解离散数学的概念和原理。

3.互动性：课件中设置了各种练习和思考题，鼓励学生积极参与和思考，提高学习效果。

4.实用性：课件中的例子和实际应用案例帮助学生将离散数学的理论应用到实际问题中，增强学习的实际效果。

使用指南学生可以使用任何支持Markdown文本格式的编辑器来打开和阅读本课件。

在阅读的同时，建议学生积极参与，思考课件中的问题，并完成相应的练习。

学生还可以根据自己的学习情况，有针对性地选择课件中的章节进行学习。

附加材料《离散数学》第二版的配套PPT课件还提供了一些附加材料，供学生进一步学习和探索离散数学的相关内容。

这些附加材料包括参考资料、习题解答和扩展阅读等。

学生可以根据自己的学习需要，选择适合自己的附加材料进行阅读。

结语《离散数学》第二版的配套PPT课件是学习离散数学的重要辅助工具，它通过图示、例子和练习等形式，帮助学生更好地理解和掌握离散数学的概念和方法。

有如下形式： 现以两个变元P、 Q为例进
表1.6.3列出了两个变元P和Q 及其极大项的真值表。 由表1.6.3
可以看出， 没有两
表1.6.3
值与编码相同时， 其真值为 F ， 在其余2n－1种指派下其真值均为
T (2) 任意两个不同极大项的析
M i M j T (i j)
(3) 2所n1 有极大项的合取式永假，
1. 否定联结词 否定联结词也称为“非”运 算， 它对单个命题进行操作，
是一个一元运算符。
当且仅当P为假。 下面引入真值表(truth table) 来描述复合命题的真值。 真值表
的左边列出参与运算的命题真值 的所有可能组合， 复合命题的真 值结果列在最右边一列。 因此， 否定联结词 的定义如表1.1.1所
当 P、 Q 至少有一个为T。 “∨”是一个二元运算。 析
取联结词∨的定义如表1.1.3所示。
表1.1.3
proposition)。 符号→用于表示条 件联结词。 当且仅当 P 为T且 Q 为F时， P→Q 为F。 这里， 称
P 为假设(hypothesis)或前件 (antecedent)， 称 Q 为结论 (conclusion)或后件(consequent)。
1.6.4所示。
表1.6.4
得到它的主合取范式。 这是因为 任何一个命题公式都可以求得它 的合取范式， 而合取范式可转化 为主合取范式， 步骤如下：
(1) 将原命题公式转化为合取
(2) 将每个析取式等价变换为 若干极大项的合取(对每个析取式 填补没有出现的变元， 如缺P和 P， 则析取P∧ P， 再应用分配
表1.2.3
重言式(tautology)或者永真式。
定义1.2.7 给定一个命题公 式， 如果在任何赋值下， 它的 真值都为F， 则称该命题公式为 矛盾式(contradiction)或者永假式。

内容简介本书共分五编。

第一编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。

第二编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其应用。

第三编为代数结构，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。

第四编为组合数学，其中包括组合存在性、组合计数、组合设计与编码以及组合最优化。

第五编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑、Herbrand定理和直觉逻辑。

本书体系严谨、内容丰富、配有大量的例题和习题，并与计算机科学的理论与实践密切结合。

本书不仅适用于计算机及相关专业的本科生或研究生，也可供计算机专业的科技人员使用或参考。

目录第一编集合论第一章集合(1)1.1 预备知识(1)1.2 集合的概念及集合之间的关系(7)1.3 集合的运算(10)1.4 基本的集合恒等式(13)1.5 集合列的极限(17)习题一(20)第二章二元关系(23)2.1 有序对与卡氏积(23)2.2 二元关系(26)2.3 关系矩阵和关系图(32)2.4 关系的性质(34)2.5 二元关系的幂运算(37)2.6 关系的闭包(39)2.7 等价关系和划分(45)2.8 序关系(49)习题二(53)第三章函数(58)3.1 函数的基本概念(58)3.2 函数的性质(59)3.3 函数的合成(62)3.4 反函数(64)习题三(68)第四章自然数(70)4.1 自然数的定义(70)4.2 传递集合(74)4.3 自然数的运算(76)4.4 N上的序关系(78)习题四(80)第五章基数(势)(81)5.1 集合的等势(81)5.2 有穷集合与无穷集合(83)5.3 基数(84)5.4 基数的比较(85)5.5 基数运算(89)习题五(93)第六章序数(95)6.1 关于序关系的进一步讨论(95) 6.2 超限递归定理(97)6.3 序数(99)6.4 关于基数的进一步讨论(105)习题六(105)第二编图论第七章图(107)7.1 图的基本概念(107)7.2 通路与回路(119)7.3 无向图的连通性(121)7.4 无向图的连通度(123)7.5 有向图的连通性(129)习题七(130)第八章欧拉图与哈密顿图(132)8.1 欧拉图(132)8.2 哈密顿图(137)习题八(142)第九章树(144)9.1 无向树的定义及性质(144)9.2 生成树(146)9.3 环路空间(149)9.4 断集空间(151)9.5 根树(153)习题九(154)第十章图的矩阵表示(156)10.1 关联矩阵(156)10.2 邻接矩阵与相邻矩阵(159)习题十(163)第十一章平面图(165)11.1 平面图的基本概念(165)11.2 欧拉公式(168)11.3 平面图的判断(170)11.4 平面图的对偶图(172)11.5 外平面图(175)11.6 平面图与哈密顿图(177)习题十一(179)第十二章图的着色(180)12.1 点着色(180)12.2 色多项式(181)12.3 地图的着色与平面图的点着色(185)12.4 边着色(187)习题十二(189)第十三章支配集、覆盖集、独立集与匹配(190)13.1 支配集、点覆盖集、点独立集(190)13.2 边覆盖集与匹配(193)13.3 二部图中的匹配(198)习题十三(199)第十四章带权图及其应用(201)14.1 最短路径问题(201)14.2 关键路径问题(204)14.3 中国邮递员问题(206)14.4 最小生成树(208)14.5 最优树(213)14.6 货郎担问题(216)习题十四(220)第三编代数结构第十五章代数系统(222)15.1 二元运算及其性质(222)15.2 代数系统、子代数和积代数(227) 15.3 代数系统的同态与同构(230)15.4 同余关系和商代数(233)15.5 Σ代数(236)习题十五(237)第十六章半群与独异点(240)16.1 半群与独异点(240)16.2 有穷自动机(242)习题十六(247)第十七章群(249)17.1 群的定义和性质(249)17.2 子群(253)17.3 循环群(255)17.4 变换群和置换群(257)17.5 群的分解(263)17.6 正规子群和商群(269)17.7 群的同态与同构(272)17.8 群的直积(278)习题十七(281)第十八章环与域(285)18.1 环的定义和性质(285)18.2 子环、理想、商环和环同态(289) 18.3 有限域上的多项式环(294)习题十八(296)第十九章格与布尔代数(299)19.1 格的定义和性质(299)19.2 子格、格同态和格的直积(303)19.3 模格、分配格和有补格(307)19.4 布尔代数(311)习题十九(318)第四编组合数学第二十章组合存在性定理(322)20.1 鸽巢原理和Ramsey定理(322)20.2 相异代表系(331)习题二十(335)第二十一章基本的计数公式(337)21.1 两个计数原则(337)21.2 排列和组合(338)21.3 二项式定理与组合恒等式 (343)21.4 多项式定理(347)习题二十一(349)第二十二章组合计数方法(352)22.1 递推方程的公式解法(352)22.2 递推方程的其他解法(361)22.3 生成函数的定义和性质(370)22.4 生成函数与组合计数(375)22.5 指数生成函数与多重集的排列问题(384) 22.6 Catalan数与Stirling数(388)习题二十二(394)第二十三章组合计数定理(398)23.1 包含排斥原理(398)23.2 对称筛公式及应用(403)23.3 Burnside引理(410)23.4 Polya定理(414)习题二十三(420)第二十四章组合设计与编码(422)24.1 拉丁方(422)24.2 t设计(427)24.3 编码(436)24.4 编码与设计(446)习题二十四(449)第二十五章组合最优化问题(450)25.1 组合优化问题的一般概念 (450)25.2 网络的最大流问题(452)习题二十五(457)第五编数理逻辑第二十六章命题逻辑(458)26.1 形式系统(458)26.2 命题和联结词(461)26.3 命题形式和真值表(464)26.4 联结词的完全集(468)26.5 推理形式(471)26.6 命题演算的自然推理形式系统N(473)26.7 命题演算形式系统P(486)26.8 N与P的等价性(494)26.9 赋值(496)26.10 可靠性、和谐性与完备性 (505)习题二十六(507)第二十七章一阶谓词演算(511)27.1 一阶谓词演算的符号化(511)27.2 一阶语言(515)27.3 一阶谓词演算的自然推演形式系统N L(519) 27.4 一阶谓词演算的形式系统K L(530)27.5 N L与K L的等价性(534)27.6 K L的解释与赋值(536)27.7 K L的可靠性与和谐性(547)27.8 K L的完全性(551)习题二十七(558)第二十八章消解原理(562)28.1 命题公式的消解(562)28.2 Herbrand定理(567)28.3 代换与合一代换(572)28.4 一阶谓词公式的消解(576)习题二十八(581)第二十九章直觉主义逻辑(583)29.1 直觉主义逻辑的直观介绍(583)29.2 直觉主义的一阶谓词演算的自然推演形式系统(58 5)29.3 直觉主义一阶谓词演算形式系统IK L(594)29.4 直觉主义逻辑的克里普克(Kripke)语义(597)29.5 直觉主义逻辑的完备性(602)习题二十九(607)附录1 第一编与第二编符号注释与术语索引(608)附录2 第三编与第四编符号注释与术语索引(614)附录3 第五编符号注释与术语索引(620)参考书目和文献(624)05668本书共分4大部分，数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论，一阶逻辑的基本概念、前束范式以及推理理论。