离散数学（本科）

　　离散数学是一门理论性较强的课程，教学内容以基本概念、结论、算法、推理与证明方法为主，主要内容包括集合论、图论与数理逻辑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（B）
学习指导
第2篇 图 论
3 图的基本概念与性质
3.1 图的概念与性质
3.2 图的连通性
3.3 图的矩阵表示与计算
3.4 最短路径
本章小结
复习思考题
习题3（A）
习题3（B）
学习指导
4 几种特殊图
4.1 欧拉图
4.2 汉密尔顿图
4.3 平面图
4.4 对偶图与着色
本章小结
复习思考题
习题4（A）
习题4（B）
学习指导
5 树及其应用
5.1 树的定义及性质
5.2 根树及其应用
本章小结
复习思考题
习题5（A）
习题5（B）
学习指导
第3篇 数理逻辑
6 命题逻辑
6.1 命题的概念与表示
6.2 命题联结词
6.3 命题公式的翻译与解释
6.4 真值表与等价公式
6.5 重言式与蕴含式
6.6 范式
6.7 命题逻辑的推理理论
本章小结
复习思考题
习题6（A）
习题6（B）
学习指导
7 谓词逻辑
7.1 谓词的概念及表示
7.2 命题函数与量词
7.3 谓词公式的翻译与解释
7.4 变元的约束
7.5 谓词演算的等价式与蕴含式
7.6 前束范式
7.7 谓词演算的推理理论
本章小结
复习思考题
习题7（A）
习题7（B）
学习指导
参考文献