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