本书系统地介绍了离散数学领域中各分支的主要内容,包括数理逻辑、集合论、代数系统和图论四个部分,各部分之间相对独立而又相互联系。具有内容系统、概念清晰、证明严谨的特点,各章均配有典型的例子和适量习题,以便读者理解和掌握所学的内容。
本书可作为高等学校计算机科学与技术及相关专业的教材,也可供从事计算机工作的科技人员和工程技术人员参阅。

出版说明
前言
第1章命题逻辑
1.1命题和逻辑联结词
1.2命题公式和真值表
1.3等价式和蕴涵式
1.4扩充的联结词和全功能联结词集
1.5对偶式
1.6命题范式
1.7命题演算的推理理论
1.8习题
第2章谓词逻辑
2.1谓词逻辑的基本概念
2.2谓词公式与翻译
2.3谓词演算的永真式
2.4前束范式
2.5谓词演算的推理理论
2.6习题
第3章集合论
3.1基本概念
3.2集合的运算
3.3集合成员表
3.4集合定律
3.5习题
第4章关系
4.1序偶与笛卡尔积
4.2关系及其表示
4.3关系距阵与关系图
4.4关系的性质
4.5关系的运算
4.6集合的划分与完全覆盖
4.7等价关系��等价类
4.8相关关系与*大相容类
4.9次序关系
4.10习题
第5章函数
5.1基本概念
5.2复合函数和逆函数
5.3置换与轮换
5.4集合的特征函数
5.5集合的基数
5.6习题
第6章代数系统
6.1运算及其性质
6.2代数系统
6.3同态与同构
6.4同余关系
6.5商代数与积代数
6.6习题
第7章关群与群
7.1半群与独异点
7.2群与子群
7.3交换群与循环群
7.4交换群与置换群
7.5陪集、正规子群与商群
7.6习题
第8章环和域
8.1环和子环
8.2理想
8.3域
8.4习题
第9章格与布尔代数
9.1格
9.2分配格和有补格
9.3布尔代数与布尔表达式
9.4习题
第10章图
10.1图的基本概念
10.2图的连通性
10.3图的矩阵表示
10.4欧拉图与哈密尔顿图
10.5*短通路问题
10.6习题
第11章特殊图
11.1二分图
11.2平面图
11.3树
11.4习题
参考文献