离散数学是计算机类专业的重要专业基础课程，专门研究离散结构和相互关系的理论和方法，在专业教学的课程体系中具有重要的理论支撑作用。离散数学的综合、分析、推理等方法，在计算机科学的理论研究和技术开发中有着广泛的应用。本书系统介绍了离散数学的内容，全书共分11章，包括预备知识（矩阵和组合数学基础）、集合论、命题逻辑、谓词逻辑、关系、特殊关系、图论基础、特殊图、代数系统、群和环域格。本书内容简洁清晰，相关内容融合了算法和程序，问题分析和推理的注释使用了程序员熟悉的格式。
本书特别适合作为应用研究型和应用型高等学校计算机类相关专业“离散数学”课程的教材（48学时），也可作为相关工程技术人员的参考书。

第1章 预备知识
1.1 矩阵知识
1.1.1 矩阵概念
1.1.2 矩阵运算
1.1.3 布尔矩阵
1.2 组合数学基础
1.2.1 整除与最大公约数、素数
1.2.2 基本计数原则
1.2.3 排列组合
1.2.4 鸽笼原理
本章习题
第2章 集合
2.1 集合的基本概念
2.2 集合间的相互关系
2.3 集合的运算
2.4 序偶与笛卡儿积
2.5 容斥原理
本章习题
第3章 命题逻辑
3.1 命题概念
3.2 命题联结词
3.2.1 否定联结词“□（特殊字符）”
3.2.2 合取联结词“∧”
3.2.3 析取联结词“∨”
3.2.4 蕴涵联结词“→”
3.2.5 等价联结词“□（特殊字符）”
3.2.6 其他联结词
3.3 命题公式
3.4 命题逻辑等值演算
3.4.1 等值式与等值演算
3.4.2 联结词完备集
3.5 对偶与范式
3.5.1 公式的对偶
3.5.2 析取范式与合取范式
3.5.3 主析取范式与主合取范式
3.6 命题逻辑推理
3.6.1 推理的基本概念
3.6.2 推理的基本方法
本章习题
第4章 谓词逻辑
4.1 谓词逻辑基本概念
4.1.1 个体
4.1.2 谓词
4.1.3 量词
4.2 谓词公式
4.2.1 谓词公式
4.2.2 谓词公式的解释与类型
4.3 谓词公式等值演算
4.4 前束范式
4.5 谓词逻辑推理
本章习题
第5章 关系
5.1 关系的定义
5.2 关系的表示
5.2.1 关系的矩阵表示
5.2.2 关系的关系图表示
5.3 关系的运算
5.3.1 关系的集合运算
5.3.2 关系的复合运算
5.3.3 关系的幂运算
5.3.4 关系的逆运算
5.4 关系的性质
5.4.1 自反性与反自反性
5.4.2 对称性与反对称性
5.4.3 传递性
5.5 关系的闭包
本章习题
第6章 特殊关系
6.1 等价关系
6.1.1 等价关系的概念
6.1.2 等价类与商集
6.1.3 划分
6.2 偏序关系
6.2.1 偏序关系的概念
6.2.2 哈斯图
6.2.3 拓扑排序
6.3 函数
6.3.1 函数的定义
6.3.2 函数的性质
6.3.3 复合函数
6.3.4 逆函数
本章习题
第7章 图论基础
7.1 图论三个经典问题
7.2 图的基本概念
7.2.1 图的定义
7.2.2 握手定理
7.2.3 图的表示
7.2.4 子图与补图
7.2.5 图的同构
7.3 图的连通性
7.3.1 通路与回路
7.3.2 无向图的连通性
7.3.3 有向图的连通性
本章习题
第8章 特殊图
8.1 欧拉图
8.2 哈密尔顿图
8.3 平面图
8.4 无向树
8.4.1 无向树定义及性质
8.4.2 生成树与最小生成树
8.5 根树
8.5.1 有向树与根树
8.5.2 根树的遍历
8.5.3 最优树
本章习题
第9章 代数系统
9.1 代数系统概述
9.2 运算的性质和特殊元素
9.2.1 运算的性质
9.2.2 特殊元素
9.3 代数系统的同态
9.3.1 代数系统的同态定义
9.3.2 子代数与积代数
本章习题
第10章 特殊代数系统
10.1 半群与独异点
10.2 群
10.2.1 群的定义及基本性质
10.2.2 交换群
10.3 循环群
10.3.1 元素的周期
10.3.2 循环群的定义
10.3.3 子群
10.3.4 群同态
10.4 置换群
10.5 陪集与拉格朗日定理
10.5.1 陪集
10.5.2 拉格朗日定理
10.6 正规子群与商群
10.6.1 正规子群
10.6.2 商群
本章习题
第11章 环、域、格和布尔代数
11.1 环
11.2 域
11.3 格
11.3.1 格
11.3.2 分配格、有界格、有补格
11.4 布尔代数
本章习题
参考文献