《离散数学基础》求取 ⇩

第一章集合，关系和映射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