本书共分五编。**编为集合论,其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论,其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构,其中包括代数系统的基本概念、几个重要的代数系统:半群、群、环、域、格与布尔代数。第四编为组合灵敏学,其中包括组合存在性、组合计数、级合设计与编码以及组合*优化。第五编为数理逻辑,其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。
本书体系严谨、内容丰富、配有大量的例题和习题,并与计算机科学的理论与实践密切结合。
本书不仅适用于计算机及相关专业的本科生或研究生,也可供计算机专业的科技人员使用或参考。

**编 集合论
**章 集合
第二章 二元关系
第三章 函数
第四章 自然数
第五章 基数(势)
第六章 序数
第二编 图论
第七章 图
第八章 欧拉图与哈密顿图
第九章 树
第十章 图的矩阵表示
第十一章 平面图
第十二章 图的着色
第十三章 支配集、覆盖集、独立集与匹配
第十四章 带权图及其应用
第三编 代数结构
第十五章 代数系统
第十六章 半群与独异点
第十七章 群
第十八章 环与域
第十九章 格与布尔代数
第四编 组合数学
第二十章 组存在性定理
第二十一章 基本的计数公式
第二十二章 组合计数方法
第二十三章 组合计数定理
第二十四章 组合设计与编码
第二十五章 组合*优化问题
第五编 数理逻辑
第二十六章 命题逻辑
第二十七章 一阶谓词演算
第二十八章 消解原理
第二十九章 直觉主义逻辑
附录1 **编与第二编符号注释与术语索引
附录2 第三编与第四编符号注释与术语索引
附录3 第五编符号注番与术语索引
参考书目和文献