离散数学(Discrete mathematics)是以可枚举(enumerable)的数量或形状作为研究对象的数学分支。这里可枚举的含义是指离散数学研究的对象与对象之间有清晰明确的界限，从而可以一一罗列出来，或者用数学语言说，可枚举的对象与若干自然数可以有一一对应的关系。当前现有的计算机只能处理可枚举的信息，因此离散数学在计算机科学中有着广泛的应用。

离散数学课程是计算机专业的核心基础课程，为许多计算机专业课程提供理论基础，尤其是为大多数计算机算法提供基础。离散数学以研究离散量的结构和相互间的关系为主要目标，课程主要介绍命题逻辑概念、等值演算、命题逻辑的推理理论、一阶逻辑的基本概念、一阶逻辑等值演算与推理、证明、集合、函数、关系、计数与组合、图与树、代数结构等内容。教学原则是注重理论、方法和实例的有机结合，努力使学生对于离散数学课程逐渐形成较为完整的知识体系，对于离散数学知识与计算机专业，特别是程序设计课程之间的联系有更加深刻的理解，提高学生利用离散数学知识建模和分析应用问题，以及利用计算机求解问题的能力。