本书依据编者多年的教学经验编写而成，着重介绍离散数学的基本概念、方法及应用。本书共5章，内容包括命题逻辑、谓词逻辑、集合论、图论以及离散数学的应用举例等。各章均配有典型例题，并对解题方法进行了系统分析与阐述。
本书侧重概念的具体应用，弱化了定理的抽象证明，简化了离散数学中部分理论性过强、过于抽象的内容，既可作为办学层次一般的普通高等院校计算机类专业的离散数学教材，也可供其他专业学生参考。

第1章 命题逻辑
1.1 命题和逻辑联结词
1.1.1 命题
1.1.2 逻辑联结词与命题符号化
1.2 命题公式及其真值表
1.2.1 命题公式
1.2.2 真值表
1.3 命题公式的等价演算
1.4 命题公式的范式
1.4.1 析取范式和合取范式
1.4.2 标准析取范式和标准合取范式
1.4.3 利用真值表法求解标准范式
1.4.4 标准析取范式和标准合取范式的关系
1.5 联结词的完备集
1.6 命题公式的推理演算
1.6.1 命题公式推理演算的基本概念
1.6.2 命题逻辑的演绎推理方法
1.6.3 附加前提法
1.6.4 归谬法
本章小结
第2章 谓词逻辑
2.1 个体词、谓词与量词
2.1.1 个体词与谓词
2.1.2 量词
2.2 谓词公式及其解释
2.2.1 谓词公式
2.2.2 谓词公式的解释
2.3 谓词公式的等价演算
2.4 谓词公式前束范式
2.5 谓词公式的推理演算
2.5.1 谓词公式推理演算的基本概念
2.5.2 谓词逻辑的演绎推理方法
本章小结
第3章 集合论
3.1 集合及其运算
3.1.1 集合的基本概念
3.1.2 集合的运算
3.1.3 集合的计算机表示
3.2 二元关系及其运算
3.2.1 笛卡儿积
3.2.2 二元关系及其表示
3.2.3 二元关系的运算
3.3 二元关系的性质与闭包
3.3.1 二元关系的性质
3.3.2 二元关系的闭包
3.4 等价关系与划分
3.5 偏序关系与拓扑排序
3.5.1 偏序关系
3.5.2 偏序关系中的特殊元
3.5.3 拓扑排序
3.6 函数
3.6.1 函数的基本概念
3.6.2 复合函数
3.6.3 逆函数
3.7 集合的等势与基数
本章小结
第4章 图论
4.1 图的基本概念
4.2 通路与回路
4.3 图的连通性
4.4 图的矩阵表示
4.5 欧拉图和哈密尔顿图
4.5.1 欧拉图
4.5.2 哈密尔顿图
4.5.3 最短路问题、中国邮递员问题与货郎担问题
4.6 树
4.6.1 无向树及其性质
4.6.2 生成树
4.6.3 根树
本章小结
第5章 离散数学的应用举例
5.1 命题逻辑、　集合论和图论的应用举例
5.1.1 命题逻辑的应用举例
5.1.2 集合论的应用举例
5.1.3 图论的应用举例
5.2 函数在机器视觉测量中的应用举例
5.3 集合运算在机器视觉测量中的应用举例
本章小结
附录A 综合练习一
附录B 综合练习二
参考文献