《离散数学(4)》分10章介绍离散数学的几大基础内容：数理逻辑、集合论、图论、代数结构及组合论初步。它们分别是：命题逻辑、谓词逻辑、集合论、二元关系、函数、图论、特殊图、代数系统、格与布尔代数、组合论基础。《离散数学(4)》将离散数学中的一些常用算法细化后分别插入到相应的章节中去，为通过编程、上机实践来加深对基础内容的理解作必要的引导。《离散数学(4)》理论体系完整，内容较为丰富，文字简明、易懂，且附有较多的例题及练习题。
《离散数学(4)》可作为计算机、电子技术、信息、管理等学科、专业的本科生教材，也可作为大学专科及中等专业学校相应学科、专业的教学参考书，亦可作为广大青年和工程技术人员的阅读、参考资料。

第1章 命题逻辑
1.1 命题与合式公式
1.2 窆辑等值式
1.3 范式
1.4 推理理论
习题1

第2章 谓词逻辑
2.1 谓词逻辑的基本概念
2.2 谓词公式与等值演算
2.3 推理理论
习题2

第3章 集合论
3.1 集合论基础
3.2 集合的运算
3.3 集合的包含与计数
3.4 实现集合基本运算的算法
习题3

第4章 二元关系
4.1 二元关系及其基本性质
4.2 二元关系的运算
4.3 等价关系与偏序关系
4.4 有关关系的算法
习题4

第5章 函数
5.1 函数的概念与运算
5.2 自然数与集合的基数
5.3 特征函数与模糊子集
5.4 判定映射及其类型与求特征函数的算法
习题5

第6章 图论
6.1 图的基本概念
6.2 路径及图的连通性
6.3 图的矩阵表示
6.4 欧拉图与哈密尔顿图
6.5 图论基础理论中的算法
习题6

第7章 特殊图
7.1 树的概念及性质
7.2 平面图
7.3 二分图与匹配
7.4 连通度与网络流
7.5 *小生成树和*优二元树的算法
习题7

第8章 代数系统
8.1 代数运算及代数系统
8.2 同态与同构
8.3 同余关系与商代数
8.4 群
8.5 环与域
8.6 代数结构中的算法
习题8

第9章 格与布尔代数
9.1 格的概念及基本性质
9.2 特殊格
9.3 布尔代数
习题9

第10章 组合论基础
10.1 排列与组合
10.2 容斥原理与鸽巢原理
10.3 母函数与递推关系
习题10
参考文献