300B.C.：欧几里得算法——《几何原本》欧几里得
1202A.D.：斐波那契数——《算盘书》斐波那契
1575A.D.：数学归纳法——《算术》马奥罗修勒斯
1654A.D.：帕斯卡三角形——《论算术三角形》
1654A.D.：概率论基本原理——见于帕斯卡、费马信件
1666A.D.：组合学思想——《论组合术》莱布尼茨
1713A.D.：排列和组合思想——《猜测术》伯努利
1718A.D.：容斥原理——《机会的学说》棣莫弗
1720A.D.：生成函数——棣莫弗
1735A.D.：引入函数记号——欧拉
1736A.D.：哥尼斯堡七桥问题——欧拉
1750A.D.：多面体棱点面关系——欧拉
1801A.D.：模m同余和其他数论问题——《算术研究》高斯
1844A.D.：欧几里得算法的复杂性分析——拉梅
1847A.D.：引入树——基尔霍夫
1852A.D.：四色问题——德摩根
1854A.D.：集合代数和逻辑得以形式化——《思维规律的研究》布尔
1856A.D.：旅行推销员问题——哈密顿
1857A.D.：首次明确提出“树”这一概念，并计算出具有n条边的根数的数目——凯莱
1872A.D.：《论有限差分演算》——布尔
1877A.D.：首提“图”的概念——西尔维斯特
1881A.D.：维恩图——维恩
1922A.D.：证明“每个连通图都含有一棵生成树”——维布伦
1931A.D.：图中的匹配——柯尼希
1935A.D.：存在相异代表系的充分必要条件——霍尔
1936A.D.：首部图论专著《有限图和无线图的理论》——柯尼希
1938A.D.：开关电路的代数及其同逻辑的关系——香农
1950A.D.：纠错码——汉明
1951A.D.：用于求解线性规划问题的单纯性算法——丹齐克
1953A.D.：卡诺图——卡诺
1954A.D.：带输出的有限状态机模型——糜利
1956A.D.：求最小生成树长度的算法——克鲁斯卡尔
1956A.D.：对网络中最大流的研究——福特和富克森
1957A.D.：普里姆算法——普里姆
1958A.D.：提出PERT算法，并被用于鹦鹉螺号核潜艇的建造
1959A.D.：迪杰斯特拉算法——迪杰斯特拉
1976A.D.：四色定理的证明——阿贝尔和黑肯
1978A.D.：RSA密码算法——弗斯特、沙米尔和阿德来门
1991A.D.：求解旅行推销员问题的一种算法——米勒和班克尼
摘至：Dossey J.A. (2007). Discrete Mathematics(5th ed.). (章炯民,王新伟,曹立,Trans.). 北京: 机械工业出版社. (2006