《离散数学(本科)》是一门理论性较强的课程，教学内容以基本概念、结论、算法、推理与证明方法为主，主要内容包括集合论、图论与数理逻辑3个方面的内容。全书由7章组成，第1章集合及其运算，主要内容包括集合的基本概念与集合的运算。第2章关系与函数，主要内容包括关系与函数的概念、关系的性质等。第3章图的基本概念与性质，主要内容包括图的基本概念与结论、图的矩阵表示。第4章几种特殊图，主要内容包括欧拉图、汉密尔顿图与平面图的概念及判定方法，图的着色。第5章树及其应用，主要内容包括树的定义及性质、*小生成树的概念与求解算法、*优树的概念与求解算法等。第6章命题逻辑，主要内容包括命题的概念、命题公式的解释、范式的概念与求法、命题演算的推理理论。第7章谓词逻辑，主要内容包括谓词的概念、谓词公式的解释、谓词演算的推理理论。

第1篇 集 合 论
1 集合及其运算
1.1 集合的概念与表示
1.2 集合运算
本章小结
复习思考题
习题1(A)
习题1(B)
学习指导
2 关系与函数
2.1 关系的概念
2.2 关系的运算
2.3 二元关系的性质
2.4 等价关系
2.5 序关系
2.6 函数的概念及性质
本章小结
复习思考题
习题2(A)
第2篇 图论
3、图的基本概念与性质
4、几种特殊图
5、树及其应用
第3篇 数理逻辑
6、命题逻辑
7、谓词逻辑
参考文献