离散数学（Discrete mathematics）是大学计算机专业最重要的必修课程之一，是许多计算机专业课程的基础。组合数学是研究图论、密码学、编码理论、算法复杂性的基本数学工具。离散数学研究基于离散空间而非连续空间的数学结构。与光滑变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是光滑变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等"连续数学"的内容。离散对象经常可以用整数来枚举。更一般地，离散数学被视为处理可数集合的数学分支。 (与整数子集基数相同的集合，包括有理数集但不包括整数集）。但是，“离散数学”不存在准确且普遍认可的定义。实际上，离散数学经常被定义为不包含连续变化量及相关概念的数学，甚少被定义为包含什么内容的数学。*(1)

离散数学中的对象集合可以是有限或者是无限的。有限数学一词通常指代离散数学处理有限集合的那些部分，特别是在与商业相关的领域。

应用领域

随着计算机科学的飞速发展，离散数学的重要性则日益彰显。它为许多信息科学课程提供了数学基础，包括数据结构、算法、数据库理论、形式语言与操作系统等。如果没有离散数学的相关数学基础，学生在学习上述课程中，便会遇到较多的困难。此外，离散数学也包含了解决作业研究、化学、工程学、生物学等众多领域的数学背景。由于运算对象是离散的，所以计算机科学的数学基础基本上也是离散的。我们可以说计算机科学的数学语言就是离散数学。人们会使用离散数学里面的概念和表示方法，来研究和描述计算机科学下所有分支的对象和问题，如电脑运算、编程语言、密码学、自动定理证明和软件开发等。相反地，计算机的应用使离散数学的概念得以应用于日常生活当中（如运筹学）。

虽然离散数学的主要研究对象是离散对象，但是连续数学的分析方法往往也可以采用。数论就是离散和连续数学的交叉学科。同样的，有限拓扑（对有限拓扑空间的研究）从字面上可看作离散化和拓扑的交集。

大学排名

排名	学校	学校英文名	州/城市
1	麻省理工学院	Massachusetts Institute of Technology	Cambridge, MA
2	加州大学伯克利分校	University of California–Berkeley	Berkeley, CA
3	普林斯顿大学	Princeton University	Princeton, NJ
4	罗格斯新泽西州立大学新布伦瑞克分校	Rutgers, the State University of New Jersey–New Brunswick	Piscataway, NJ
4	密歇根大学安娜堡分校	University of Michigan–Ann Arbor	Ann Arbor, MI
6	加州大学洛杉矶分校	University of California–Los Angeles	Los Angeles, CA
6	加州大学圣地亚哥分校	University of California–San Diego	La Jolla, CA
8	佐治亚理工学院	Georgia Institute of Technology	Atlanta, GA
9	明尼苏达大学双城分校	University of Minnesota–Twin Cities	Minneapolis, MN
10	卡耐基梅隆大学	Carnegie Mellon University	Pittsburgh, PA
11	伊利诺伊大学厄本那-香槟分校	University of Illinois–Urbana-Champaign	Urbana, IL

*(2)

参考资料：

(1)离散数学维基百科

(2)US NEWS Discrete Mathematics and Combinatorics Rankings 2013/14USNEWS排名

学校列表

美国

本科

• 华盛顿大学
• 佐治亚理工学院
• 密歇根理工大学

研究生

• 麻省理工学院