本课程是一门理论性较强的课程，教学内容以基本概念、结论、算法、推理与证明方法为主，主要内容包括集合论、图论与数理逻辑3个方面的内容。全书由7章组成。第1章集合及其运算，主要内容包括集合的基本概念与集合的运算。第2章关系与函数，主要内容包括关系与函数的概念、关系的性质等。第3章图的基本概念与性质，主要内容包括图的基本概念与结论、图的矩阵表示。第4章几种特殊图，主要内容包括欧拉图、汉密尔顿图与平面图的概念及判定方法，图的着色。第5章树及其应用，主要内容包括树的定义及性质、最小生成树的概念与求解算法、最优树的概念与求解算法等。第6章命题逻辑，主要内容包括命题的概念、命题公式的解释、范式的概念与求法、命题演算的推理理论。第7章谓词逻辑，主要内容包括谓词的概念、谓词公式的解释、谓词演算的推理理论。
本书的每章还包含内容介绍、学习目标、本章小结、复习思考题、习题以及学习指导等内容，便于自学。本书可以作为广播电视大学计算机科学与技术专业的离散数学课程教材，也可以作为有关专业的学生或从事计算机技术研究与开发的人员学习离散数学的参考书。