《离散结构》为高等学校计算机学科计算机科学与技术专业的一门专业基础课，必修。该课程系统地介绍了命题逻辑的基本概念、命题逻辑等值演算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理、集合代数、二元关系、图的基本概念、欧拉图与哈密顿图、树的知识。通过本课程的学习，学生能灵活运用离散结构的基本概念和基本理论知识，为数据结构、计算机组成原理等后续课程的学习，为今后各种与离散结构有关的专题学习、工程实践和理论研究奠定基础。