离散数学 修订版PDF电子书下载

第一章 集合论 1

1 基本概念 1

2 集合的运算 4

3 幂集 10

4 n 元组和笛卡尔乘积 12

5 一一对应 13

6 可列集 16

7 无限集 22

第二章 关系和映射 33

1 关系和映射 33

2 关系的运算 37

3 具有某些特殊性质的关系 43

4 等价关系 45

5 部分序关系 48

第三章 格和布尔代数 59

1 代数系统及其同构 59

2 格 65

3 作为代数系统的格 72

4 有界格、有补格、分配格和模格 75

5 布尔代数 82

1 半群与单元半群 99

第四章 半群与群 99

2 群的定义及其基本性质 102

3 子群 105

4 循环群 107

5 变换群 111

第五章 商群 116

1 同余关系和商代数 116

2 陪集和拉格朗日定理 120

3 正规子群和商群 123

1 命题演算 130

第六章 数理逻辑 130

2 命题演算的推理理论 139

3 定理的自动证明 146

4 谓词演算 154

5 谓词演算的推理理论 163

第七章 图论 173

1 引论 173

2 基本概念 176

3 路径问题 189

4 树 197

5 平面图 204