《离散数学》求取 ⇩

第一章集合论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