离散数学PDF电子书下载

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