《离散数学》共分12章，内容包含矩阵知识初步、组合数学与数论初步、命题逻辑、谓词逻辑、集合论基础、关系、特殊关系、图论基础、特殊图、代数系统、群论和其他代数系统。《离散数学》以训练学生的思维能力为核心，以培养计算机类专业的应用型人才为目的，将计算机数学与算法设计进行有效结合，全面提高学生的程序设计能力和应用创新能力。通过对典型的例题进行分析，培养学生分析问题和解决问题的能力。同时，对一些内容进行延伸，将计算机数学基础与后续的专业知识进行完美结合。
　　《离散数学》可以作为数学类、计算机类的本科教材，也可以作为程序设计大赛培训的参考用书。

第1章 矩阵知识初步
1．0 本章导引
1．1 矩阵的概念
1．2 矩阵的运算
1．3 布尔矩阵
习题1

第2章 组合数学与数论初步
2．0 本章导引
2．1 基本计数原则
2．1．1 加法原则
2．1．2 乘法原则
2．2 排列组合
2．3 鸽笼原
2．4 素数
2．5 最大公约数与最小公倍数
2．6 数制
2．6．1 进位记数制
2．6．2 不同进位制数的转换
习题2

第3章 命题逻辑
3．0 本章导引
3．1 命题与命题联结词
3．1．1 命题
3．1．2 命题联结词
3．2 命题公式
3．3 命题公式的等值演算
3．4 命题联结词的完备集
3．5 范式
3．5．1 析取范式和合取范式
3．5．2 主析取范式和主合取范式
3．5．3 范式的应用
3．6 命题逻辑的推
3．6．1 推理的基本概念
3．6．2 推理的基本方法
习题3

第4章 谓词逻辑
4．0 本章导引
4．1 谓词逻辑的基本概念
4．2 谓词公式
4．3 谓词公式的等价与蕴涵
4．4 范式
4．5 谓词逻辑的蕴涵推
习题4

第5章 集合论基础
5．0 本章导引
5．1 集合的概念与表示
5．2 集合之间的关系
5．3 集合的运算
5．4 芋偶与笛卡儿积
5．5 容斥原理
习题5

第6章 关系
6．0 本章导引
6．1 关系的定义
6．2 关系的表示
6．3 关系的运算
6．3．1 关系的集合运算
6．3．2 关系的复合运算
6．3．3 关系的幂运算
6．3．4 关系的逆运算
6．4 关系的性质
6．4．1 自反性与反自反性
6．4．2 对称性与反对称性
6．4．3 传递性
6．5 关系的闭包
习题6

第7章 特殊关系
7．0 本章导引
7．1 等价关系
7．2 偏序关系
7．3 函数的定义
7．4 函数的性质
7．5 函数的运算
7．5．1 函数的复合运算
7．5．2 函数的逆运算
习题7

第8章 图论基础
8．0 本章导引
8．1 图的基本概念
8．1．1 图
8．1．2 图的表示
8．1．3 图的同构
8．1．4 图的操作
8．2 通路与回路
8．3 图的连通性
8．3．1 无向图的连通性
8．3．2 有向图的连通性
习题8

第9章 特殊图
9．0 本章导引
9．1 欧拉图
9．2 汉密尔顿图
9．3 树
9．3．1 树的定义
9．3．2 生成树与最小生成树
9．4 根树
9．4．1 有向树与根树
9．4．2 根树的遍历
9．4．3 Huffman树
习题9

第10章 代数系统
10．0 本章导引
10．1 代数运算
10．2 运算的性质与特殊元素
10．2．1 运算的性质
10．2．2 特殊元素
10．3 代数系统的同态与同构
10．4 子代数
习题10

第11章 群论
11．0 本章导引
11．1 半群
11．2 群
11．2．1 群的基本概念
11．2．2 阿贝尔群
11．2．3 群同态与群同构
11．3 元素的周期与循环群
11．3．1 元素的周期
11．3．2 循环群
11．4 子群
11．5 置换群
11．6 陪集与拉格朗日定
11．7 正规子群与商群
习题11

第12章 其他代数系统
12．0 本章导引
12．1 环
12．2 域
12．3 格
12．3．1 格的定义
12．3．2 格的另一种定义
12．3．3 分配格、有界格与布尔格
12．4 布尔代数
习题12
参考文献