《离散数学》

第一章　集合1

1-1　集合与元素1

1-2　集合的包含与相等9

1-3　幂集17

1-4　集合运算27

1-5　笛卡尔积42

小结52

第二章　二元关系53

2-1　二元关系及其表示53

2-2　关系的性质66

2-3　关系的运算76

2-4　等价关系和相容关系94

2-5　偏序关系106

小结117

第三章　函数123

3-1　函数123

3-2　复合函数137

小结146

第四章　代数结构简介148

4-1　代数结构148

4-2　半群和群160

4-3　同态和同构170

小结182

第五章　图论初步185

5-1　图的基本概念185

5-2　路与回路201

5-3　邻接矩阵和关联矩阵210

5-4　欧拉图和哈密尔顿图227

5-5　平面图及偶图238

5-6　树250

小结267

第六章　命题逻辑273

6-1　命题273

6-2　命题公式及翻译282

6-3　命题定律290

6-4　基本联结词与蕴含关系304

6-5　范式313

6-6　命题演算的推理理论331

小结340

第七章　谓词演算343

7-1　谓词和量词343

7-2　谓词公式352

7-3　谓词演算的等价式与蕴含式362

7-4　谓词演算的推理理论371

小结381