《离散数学》

前言页1

第一章 集合1

1 基本概念1

2 关系4

3 映射11

第二章 命题逻辑15

1 基本概念15

2 范式20

3 公式的蕴涵25

第三章 一阶逻辑32

1 谓词与量词32

2 公式36

3 范式42

4 例47

第四章 图53

1 图53

2 树59

3 有向图和有向树65

4 Euler路70

5 Hamilton路78

6 Konig无限性引理87

第五章 整数93

1 整除性 辗转相除93

2 互质 质因数分解100

3 合同104

4 秦九韶定理 Euler函数107

第六章 群与环113

1 置换113

2 群的定义120

3 子群及其陪集124

4 同构及同态132

5 环137

6 环同态143

第七章 多项式 有限域150

1 域的特征 素域150

2 多项式的整除性154

3 多项式的根159

4 有理域上的多项式165

5 分圆多项式170

6 有限域175

第八章 格与布尔代数181

1 引言181

2 格的定义182

3 格的性质187

4 几种特殊的格195

5 布尔代数203

6 布尔表达式的化简问题217