离散数学PDF电子书下载

第一章 集合论 1

1 集合的概念 1

2 集合的运算 3

3 幂集 9

4 n 元组和笛卡尔乘积 10

5 一一对应 11

6 可列集 14

7 无限集 18

第二章 关系和映射 29

1 关系和映射 29

2 关系的运算 31

3 一些特殊性质的关系 36

4 等价关系 38

5 部分序集 42

第三章 格和布尔代数 51

1 代数系统和代数系统的同构 51

2 作为部分序集的格 57

3 作为代数系统的格 68

4 有补格、分配格和模格 71

5 布尔代数及其原子表示 78

6 布尔表达式 85

1 半群与单元半群 101

第四章 半群与群 101

2 群的定义及基本性质 105

3 子群 110

4 循环群 112

5 变换群 117

第五章 商群 125

2 陪集与拉格朗日定理 129

3 正规子群与商群 134

第六章 数理逻辑 140

1 形式逻辑简介 140

2 命题演算 143

3 命题演算的推理理论 157

4 定理的自动证明 161

5 谓词演算 171

6 谓词演算的推理理论 181

第七章 图论 190

1 引论 190

2 基本概念 192

3 欧拉图与汉米尔顿图 207

4 树 211

5 平面图 218

习题答案与提示 226

汉英名词索引 233