研究离散量的结构及其相互关系的数学学科，是计算机类专业的学科基础课，对于学生知识、能力和综合素质的培养具有承前启后的作用。通过学习，有助于培养学生“严谨、完整、规范”的软件工程思想。包括：命题逻辑、谓词逻辑、二元关系和函数、代数系统、群与环、格与布尔代数，图论的基础知识、特殊图、图论的应用。
