《离散数学》是现代数学的重要分支，是计算机科学与技术及相关专业的核心、主干课程。《离散数学》于1977年被IEEE确定为计算机科学与技术专业核心主干课程，2001年又被IEEE和ACM确定为计算机科学与技术专业第一核心主干课程。《离散数学》的教学核心内容主要包含四大分支：数理逻辑、集合论、代数系统、图论。《离散数学》以离散量作为研究对象，涉及的内容较为广泛，充分描述了计算机科学离散性的特点。它既为后续课，如数据结构、编译原理、操作系统、数据库原理和人工智能等提供必要的数学基础；也可以也使学生通过学习离散数学，掌握离散量的结构及其相互间的关系，同时培养和提高他们的抽象思维与严格的逻辑推理能力，为学生今后继续学习和科研工作打下必备的坚实的数学基础。