离散数学基础PDF电子书下载

第一章 集合，关系和映射 1

1.1 集合 1

1.2 关系 6

1.3 映射 17

第二章 命题演算 25

2.1 命题、逻辑联结词 25

2.2 公式 31

2.3 置换规则和对偶律 41

2.4 范式 52

2.5 推理理论 62

第三章 谓词演算 70

3.1 谓词与量词 70

3.2 谓词公式 76

3.3 前束范式 83

3.4 谓词演算的推理规则 90

第四章 图 97

4.1 基本概念 97

4.2 路和连通图 108

4.3 权图中的最短路算法 114

4.4 树和最优树 122

4.5 欧拉（Euler）图 130

4.6 哈密顿（Hamilton）图 137

4.7 有向图 144

4.8 有根树 155

第五章 格与布尔代数 166

5.1 格的定义 166

5.2 格的性质 175

5.3 几种特殊的格 186

5.4 布尔代数 196

5.5 有限布尔代数的结构 205

第六章 群、环、域简介 212

6.1 群 212

6.2 循环群与置换群 217

6.3 子群及陪集 223

6.4 环和域简介 229