离散数学教程

**编 集合论

**章 集合

第二章 二元关系

第三章 函数

第四章 自然数

第五章 基数（势）

第六章 序数

第二编 图论

第七章 图

第八章 欧拉图与哈密顿图

第九章 树

第十章 图的矩阵表示

第十一章 平面图

第十二章 图的着色

第十三章 支配集、覆盖集、独立集与匹配

第十四章 带权图及其应用

第三编 代数结构

第十五章 代数系统

第十六章 半群与独异点

第十七章 群

第十八章 环与域

第十九章 格与布尔代数

第四编 组合数学

第二十章 组存在性定理

第二十一章 基本的计数公式

第二十二章 组合计数方法

第二十三章 组合计数定理

第二十四章 组合设计与编码

第二十五章 组合*优化问题

第五编 数理逻辑

第二十六章 命题逻辑

第二十七章 一阶谓词演算

第二十八章 消解原理

第二十九章 直觉主义逻辑

附录1 **编与第二编符号注释与术语索引

附录2 第三编与第四编符号注释与术语索引

附录3 第五编符号注番与术语索引

参考书目和文献