《离散数学》求取 ⇩

1集合论1

1.1集合的基本概念1

1.2集合的运算5

1.3笛卡儿乘积12

1.4幂集与划分15

2关系21

2.1关系的基本概念21

2.2关系的运算与性质26

2.3关系的闭包37

2.4等价关系45

2.5相容关系50

2.6序关系56

2.7函数63

2.8集合的基数73

3命题逻辑89

3.1命题与联结词89

3.2公式与解释94

3.3等价演算100

3.4析取范式与合取范式108

3.5命题逻辑的推理理论119

4一阶逻辑132

4.1谓词与量词132

4.2一阶逻辑公式及其解释137

4.3等价、蕴涵与前束范式144

4.4一阶逻辑推理理论149

5图论162

5.1图的基本概念162

5.2路、圈与连通性174

5.3图的矩阵表示181

5.4树190

5.5有向树197

5.6欧拉图与哈密顿图203

5.7平面图209

5.8图的着色216

6代数系统229

6.1代数系统的基本概念229

6.2代数系统常见的性质234

6.3代数系统的同态与同构241

6.4例题分析251

6.5半群259

6.6群论264

6.7环与域280

6.8格与布尔代数285

6.9例题分析293

参考文献307