包世堂等编著的《离散数学与算法》共分10章，分别是命题逻辑、谓词逻辑、集合的基本概念和运算、关系、函数、代数系统的一般概念、代数系统、环域格和布尔代数、图的基本理论和树，各章节中以实例入手，归纳出离散结构数学模型的建立和求解方法，并给出了具体算法和参考程序，从而实现离散问题的计算机求解。这是本书的一个显著特点。

包世堂等编著的《离散数学与算法》系统讲解离散数学基础知识和应用方法及实现算法，内容包括数理逻辑、集合论、关系、函数、代数系统和图论及应用，同时给出了各章节相关内容的算法和程序。

《离散数学与算法》内容安排合理，由浅入深、循序渐进、通俗易懂，理论和实践紧密结合，突出应用的特点。

本书可作为高等学校数学与计算机相关专业本科生的教材，也可供相关科技人员学习参考。

前言

第1章 命题逻辑

 第1节 命题和命题联结词

 习题1

 第2节 合式公式

 习题2

 第3节 逻辑等价演算

 习题3

 第4节 对偶

 习题4

 第5节 范式和判定问题

 习题5

 第6节 推理理论

 习题6

 第7节 命题逻辑的相关算法

第2章 谓词逻辑

 第1节 谓词演算

 习题1

 第2节 谓词逻辑中的等值和蕴涵

 习题2

 第3节 谓词逻辑中的推理理论

 习题3

 第4节 谓词逻辑的相关算法

第3章 集合的基本概念和运算

 第1节 集合的基本概念

 习题1

 第2节 集合的运算

 习题2

 第3节 集合的划分与覆盖

 习题3

 第4节 集合的相关算法

第4章 关系

 第1节 序偶和笛卡尔积

 习题1

 第2节 关系及其表示

 习题2

 第3节 关系的性质

 习题3

 第4节 关系的运算

 习题4

 第5节 几类重要的二元关系

 习题5

 第6节 关系的相关算法

第5章 函数

 第1节 函数

 习题1

 第2节 函数运算

 习题2

 第3节 基数

 习题3

第6章 代数系统的一般概念

 第1节 二元运算

 习题1

 第2节 二元运算的性质

 习题2

第7章 代数系统

 第1节 置换

 习题1

 第2节 半群

 习题2

 第3节 群

 习题3

 第4节 陪集

 习题4

 第5节 正规子群和拉格朗日定理

 习题5

 第6节 代数系统的相关算法

第8章 环、域、格和布尔代数

 第1节 环和域

 习题1

 第2节 格

 习题2

 第3节 布尔代数

 习题3

第9章 图的基本理论

 第1节 图的基本概念

 习题1

 第2节 图的连通性

 习题2

 第3节 图的矩阵表示

 习题3

 第4节 图的应用

 习题4

 第5节 特殊的图

 习题5

 第6节 图的着色

 习题6

 第7节 图的相关算法

第10章 树

 第1节 树的概念

 习题1

 第2节 生成树

 习题2

 第3节 根树及其应用

 习题3

 第4节 二叉树

 习题4

 第5节 树的相关算法

参考文献