《离散数学 第2版》求取 ⇩

第一章 数理逻辑1

1.1 命题1

1.2 重言式8

1.3 范式15

1.4 联结词的扩充与归约20

1.5 推理规则和证明方法23

1.6 谓词和量词33

1.7 谓词演算的永真公式41

1.8 谓词演算的推理规则47

第二章 集合53

2.1 集合论的基本概念53

2.2 集合上的运算59

2.3 归纳法和自然数70

2.4 语言上的运算79

2.5 集合的笛卡儿乘积84

第三章 二元关系87

3.1 基本概念87

3.2 关系的合成96

3.3 关系上的闭包运算101

3.4 次序关系107

3.5 等价关系和划分116

第四章 函数127

4.1 函数的基本概念127

4.2 特殊函数类134

4.3 逆函数140

5.1 可数和不可数集合146

第五章 无限集合146

5.2 基数的比较153

5.3 基数算术160

第六章 代数163

6.1 代数结构163

6.2 子代数168

6.3 同态169

6.4 同余关系175

6.5 商代数和积代数179

6.6 半群和独异点183

6.7 群189

6.8 环和域207

7.1 格214

第七章 格与布尔代数214

7.2 格是代数系统218

7.3 特殊的格222

7.4 布尔代数227

第八章 图论242

8.1 图的基本概念242

8.2 路径和回路249

8.3 图的矩阵表示263

8.4 二部图269

8.5 平面图272

8.6 树281

8.7 有向树286

8.8 运输网络297

参考文献304