组合数学是研究有限或可数离散结构的排列、组合、存在性与最优安排的数学分支，核心回答“有多少种方式”“是否存在”“如何最优”三类问题，主要包括计数组合、图论、设计理论、极值组合与组合优化等内容。它以鸽笼原理、二项式系数、拉姆齐理论等经典结论为基础，完全体现离散数学“可数、分离、精确”的特征。组合数学是离散数学的核心主体，在计算机科学（算法、数据结构、网络）、运筹学、密码学、生物信息学等领域具有广泛应用，许多语境下“离散数学”课程的主要内容实质上就是组合数学（尤其是图论与计数）。