本课程是计算机科学与技术的专业基础课程，该课程主要内容包括数理逻辑、集合论、图论的基础知识。数理逻辑部分主要介绍命题逻辑和谓词逻辑的基本概念和等价演算、推理方法；集合论中主要介绍集合及关系的基本概念和运算、性质及其应用；图论中主要介绍图和树的基本知识及图的相关算法及应用。

该课程强调对离散对象的基本研究方法，为后续相关专业课程奠定基础，并为今后处理离散信息，提高专业理论水平，从事计算机的实际工作，提供必要的数学基础.