高等学校试用教材 离散数学PDF电子书下载

第一章 集合 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 K？nig无限性引理 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