离散数学PDF电子书下载

第一篇 集合论 1

第1章 集合 1

1.1 集合的概念及其表示 1

目录 1

1.2 集合的基本运算 3

1.3 笛卡尔积 4

第2章 关系 7

2.1 关系及其表示 7

2.2 关系的运算 8

2.3 等价关系 11

2.4 序关系 13

3.1 基本概念 18

第3章 映射 18

3.2 映射的运算 19

第4章 可数集与不可数集 21

4.1 等势 21

4.2 集合的基数 22

4.3 可数集与不可数集 23

第二篇 图论 26

第5章 图与子图 26

5.1 图的概念 26

5.2 图的同构 28

5.3 顶点的度 29

5.4 子图及图的运算 30

5.5 通路与连通图 31

5.6 图的矩阵表示 33

5.7 应用 34

第6章 树 41

6.1 树的定义 41

6.2 生成树 43

6.3 应用 45

第7章 图的连通性 48

7.1 点连通度和边连通度 48

7.2＊ 块 50

7.3 应用 52

8.1 七桥问题与E图 55

第8章 E图与H图 55

8.2 周游世界问题与H图 56

8.3 应用 60

第9章＊ 匹配与点独立集 63

9.1 匹配 63

9.2 独立集和覆盖 67

9.3 Ramsey数 69

9.4 应用 72

第10章 图的着色 76

10.1 顶点着色 76

10.2 边着色 78

10.3 色多项式 81

11.1 平面图的概念 85

第11章 平面图 85

11.2 欧拉公式 87

11.3＊ 可平面性判定 89

11.4 平面图的面着色 90

第12章 有向图 93

12.1 有向图的概念 93

12.2 有向通路与有向回路 94

12.3 有向树及其应用 97

第13章＊ 网络最大流与Petri网 101

13.1 网络的流与割 101

13.2 最大流最小割定理 103

13.3 Petri网 107

14.1 命题与逻辑联结词 116

第三篇 数理逻辑 116

第14章 命题逻辑 116

14.2 命题公式与等值演算 119

14.3 对偶与范式 122

14.4 推理理论 127

14.5 命题演算的公理系统 132

第15章 一阶逻辑 138

15.1 谓词与量词 138

15.2 合式公式及解释 141

15.3 等值式与范式 143

15.4 一阶逻辑的推理理论 147

16.1 整除性 154

第四篇 代数结构 154

第16章＊ 整数 154

16.2 质因数分解 159

16.3 同余 161

16.4 孙子定理·Euler函数 163

第17章 群 168

17.1 群的概念 168

17.2 子群 171

17.3＊ 置换群 175

17.4 陪集与Lagrange定理 179

17.5 同态与同构 182

18.1 环与子环 189

第18章 环与域 189

18.2 环同态 192

18.3＊ 域的特征·质域 196

18.4＊ 有限域 198

18.5＊ 有限域的结构 202

第19章 格与布尔代数 209

19.1 格的定义 209

19.2 格的性质 211

19.3 几种特殊的格 214

19.4 布尔代数 218

19.5＊ 有限布尔代数的结构 224

参考文献 231