陈业纲编著的《离散数学中的算法设计与实现》在编写中力求做到：理论与算法并重；去掉冗长的证明，保留简洁、有特色、能体现典型的数学思想和方法的内容；强调算法的基本思想和计算机实现。全书共分7部分：数理逻辑、图、关系、函数与集合、树、代数系统、递推方程的求解。书中所有代码均在VC＋＋环境下调试通过。

第1章 数理逻辑
1.1 真值表、主析取范式和主合取范式
1.2 推理
第2章 图
2.1 图的基本概念
2.2 二分图、欧拉图和哈密顿图
2.3 最短路径、关键路径
2.4 广度优先、深度优先算法
2.5 桥、割点
第3章 关系
3.1 关系的性质
3.2 偏序集极小极大元最小最大元
3.3 矩阵与关系闭包
3.4 布尔矩阵交并积
3.5 关系的传递闭包
3.6 最小等价关系
第4章 函数与集合
4.1 单满射一一映射
4.2 集合的运算
4.3 并查集
4.4 排列组合
4.5 商集
4.6 格雷码
4.7 数字拆解
第5章 树
5.1 表达式运算
5.2 树的判定和遍历
5.3 最小生成树
5.4 哈夫曼树
第6章 代数系统
6.1 群的判断
6.2 格
第7章 递推方程的求解
7.1 递归
7.2 递推数列
参考文献