像这样的图是离散数学的研究对象之一，它们拥有有趣的数学性质，可以作为现实世界用来解决问题的模型，而且还在计算机算法开发中有着举足轻重的作用。
**离散数学**（英語：）是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。与連續变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是連續变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等「连续数学」的内容。

离散对象经常可以用整数来枚举。更一般地，离散数学被视为处理可数集合（与整数子集基数相同的集合，包括有理数集但不包括实数集）的数学分支。但是，"离散数学"不存在准确且普遍认可的定义。实际上，离散数学经常被定义为不包含连续变化量及相关概念的数学，甚少被定义为包含什么内容的数学。

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

隨著電腦科學的飛速發展，離散數學的重要性則日益彰顯。它為許多資訊科學課程提供了數學基礎，包括数据結構、演算法、数据库理論、形式語言與作業系統等。如果沒有離散數學的相關數學基礎，學生在學習上述課程中，便會遇到較多的困難。此外，離散數學也包含了解決作業研究、化學、工程學、生物學等眾多領域的數學背景。由於運算對象是離散的，所以電腦科學的數學基礎基本上也是離散的。我們可以說電腦科學的數學語言就是離散數學。人們會使用離散數學裡面的槪念和表示方法，來研究和描述電腦科學下所有分支的對象和問題，如電腦運算、编程語言、密碼學、自動定理証明和軟件開發等。相反地，计算机的應用使離散數學的概念得以應用於日常生活當中（如運籌學）。

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

历史
--

在图论领域中，大量研究的动机是企图证明在对所有的地图，譬如说此图，可以用不多于四种颜色上色，而且没有任意两个相接的区域会是同色。1976年，肯尼斯·阿佩尔和沃尔夫冈·哈肯最终证明了四色定理。
历史上，离散数学涉及了各个领域的一系列挑战性问题。在图论中，許多的研究动机是來自於嘗試证明四色定理。这些研究虽然从1852年开始，但是直至1976年四色定理才得到证明，是由肯尼斯·阿佩尔（Kenneth Appel）和沃尔夫冈·哈肯（Wolfgang Haken）藉由大量计算机辅助而完成的。

在逻辑领域，大卫·希尔伯特（David Hilbert）於1900年提出的公开问题清单的第二个问题是要证明算术的公理是一致的。1931年，库尔特·哥德尔的第二不完备定理证明这是不可能的——至少算术本身不可能。大卫·希尔伯特的第十个问题是要确定某一整系数多项式丢番图方程是否有一个整数解。1970年，尤里·马季亚谢维奇证明这不可能做到。

第二次世界大戰時盟軍有破解納粹德軍密碼的需要，帶動了密碼學和理論計算機科學的發展。英國的布萊切利園因而發明出第一部數位電子計算機——巨像電腦。與此同時，軍事上的需求亦帶動了運籌學的發展。直至冷戰時期，密碼學的地位依然重要，其後的幾十年間更發展出如公開密鑰加密等根本性的長進。隨著1950年代關鍵路徑方法的創立，運籌學則於商業和項目管理上愈趨重要。電訊工業的出現亦助長了離散數學，特別是圖論和信息論上的發展。數理邏輯上敍述的形式驗證至今已經成為安全關鍵系統的軟件開發中必不可少的一環，自動定理證明的技術也因此而提高。

当今，理論計算機科學中最著名的开放问题之一是P/NP问题，P/NP问题中包含了复杂度类P与NP的关系。克雷数学研究所为此及其他6个千禧年大奖难题的第一个正确证明各悬赏100万美元。

主题
--

 "Wikipedia" ASCII码的二进制表示。编码技术为信息论领域提供了一种表示语句和信息处理程序的途径。
离散数学包含几个不同的主题，列举如下：

### 数理逻辑

条目：数理逻辑
逻辑是对有效推理和推理原则，及其连续性、合理性和完整性的研究。举一个简单的例子：在大多数逻辑系统中，皮尔士定律（((*P*→*Q*)→*P*)→*P*）是正确的，而且可以简易地利用真值表得到证明。数学证明在数理逻辑中十分重要，而且在自动定理证明和软件开发（如形式验证）有广泛应用。

### 集合论

条目：集合论
集合论是研究集合的数学分支。集合是指一定对象的总和，例如：{蓝色，白色，红色}是一个有限集合；所有素数组成一个无限集合。 偏序关系和拥有其他关系特征的集合在多个数学领域都有应用。

### 信息论

条目：信息论
质数螺旋图，黑点为质数。
信息论涉及信息量化。与此密切相关的编码理论则用来设计高效可靠的数据传输和数据储存方法。

### 数论

条目：数论
数论关注普通数字，特别是整数的特性。数论在密码学和密码分析中有应用，特别是关于素数和素性测试方面。在解析数论中，也使用连续数学的理论。

### 组合数学

条目：组合数学
代数图论与群论有着紧密联系。此截角四面體图与交错群*A*4有关。
组合数学研究对象进行排列或组合的途径，包含组合设计（Combinatorial design）、计数组合（enumerative combinatorics）、计数、组合几何（combinatorial geometry）、组合拓扑（Combinatorial topology）等主题。图论是组合数学的重要部分，有很多实际应用。

在组合分析（analytic combinatorics）和代数图论（algebraic graph theory）中也使用连续数学的理论，而且代数图论还与群论有着紧密联系。

### 图论

条目：图论
图论是研究图和网络的数学分支，常被认为包含於组合数学中，但这一分支已经发展得足够庞大和有特点，并有自身领域所研究的问题，因此被视为一个独立的主题，在数学和科学的所有领域都有广泛的应用。例如：有名的七橋問題。

### 抽象代数

条目：抽象代数
代数结构既可以是离散的，也可以是连续的。离散代数包括逻辑门和编程中使用的逻辑代数、数据库中使用的关系代数、代数编码理论中重要的离散有限群、环和域、形式语言理论中的离散半群和幺半群。

### 理论计算机科学

条目：理论计算机科学
复杂度研究程序耗费的时间，例如这个快速排序程序。
离散数学充分描述了计算机科学离散性的特点。

理论计算机科学（Theoretical computer science）包含离散数学计算的领域，并特别注重图论和数理逻辑。理论计算机科学包括对计算数学结果的算法研究。可算性理论研究那些对象在原则上可被计算，和逻辑有密切联系。而复杂性则研究计算耗费的时间，自动机理论和形式语言理论与复杂性紧密联系。计算几何应用算法解决几何问题，而计算机图像分析则是应用算法在计算机中再现图像。

### 拓扑学

条目：拓扑学
虽然拓扑学是形式化和一般化物体"连续形变"的直觉概念的研究领域，其也包含很多离散主题，如拓扑变换时常取离散值，组合拓扑、拓扑图论、拓扑组合、计算拓扑、离散空间、有限拓扑空间等领域。

### 运筹学

条目：运筹学
像这样的PERT图提供一个基于图论的商业管理技术。運籌學的研究為解決一些商業上和其他範籌上實質的問題提供方法。這些問題包括如何分配資源以使利潤增至最高和如何為企劃排程使風險減至最低等。運籌學的研究方向包括線性規劃、最优化、等候理論、调度理论、网络理论，和一些正在增加的其他方面。运筹学的内容也会涉及一些连续主题，如连续时间马尔可夫过程、连续时间鞅、过程优化（英语：）以及连续混合控制理论。

### 博弈论、决策论、效用理论、社会选择理论

|  |  |  |
| --- | --- | --- |
|  | 合作 | 背叛 |
| 合作 | -1, -1 | -10, 0 |
| 背叛 | 0, -10 | -5, -5 |
| 囚徒困境的支付矩阵 |

博弈論用於處理的問題比較複雜，通常這些選擇成功與否取決於其他人的選擇，因此如何作最好出一個最好的選擇比較複雜。连续对策甚至也是存在的，如微分博弈。博弈論的主题包括拍卖理论和公平分配博弈。

决策论是有关判定特定决策的价值、不确定性、合理性以及最终能够确定的最优决策的理论。

效用理论的研究内容是由各种商品和服务评估相对经济满足程度，或是评估各种商品和服务的希求程度。

社会选择理论是关於投票的理论。更近似於谜题的有关投票的问题是抽签问题（Bertrand's ballot theorem）。

### 离散化

条目：离散化
离散化关注将连续模型或等式转化为离散形式的过程，通常是基于简化计算的目的。数值分析是离散化一个重要实例。

### 连续数学的离散近似

计算几何将计算机算法应用於几何物体的描绘
很多的连续数学概念都有离散数学的版本，例如:

* 離散微積分
* 离散概率分布
* 离散傅里叶变换
* 离散几何
* 离散对数
* 離散微分幾何
* 離散外微分
* 離散莫爾斯理論
* 差分方程
* 離散動力系統。

在应用数学中，离散模型是连续模型的离散近似。在离散模型中，离散方程由数据确定。使用递推关系是这种建模方式的一般方法。

### 离散和连续混合数学

时标微积分是差分方程理论与微分方程理论的统一，应用在需要建立离散和连续同步数据模型的领域。

参考文献
----

1. ↑  Richard Johnsonbaugh, *Discrete Mathematics*, Prentice Hall, 2008.
2. ↑  Weisstein, Eric W. (编).. at *MathWorld*--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
3. ↑  Norman L. Biggs, *Discrete mathematics*, Oxford University Press, 2002.
4. ↑  Brian Hopkins, *Resources for Teaching Discrete Mathematics*, Mathematical Association of America, 2008.
5. 1 2  Wilson, Robin, London: Penguin Books, 2002, ISBN 0-691-11533-8
6. ↑ . 2000-05-24  [2008-01-12]. （原始内容存档于2008-01-08）.
7. ↑  Graphs on Surfaces （页面存档备份，存于）, Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001

延伸阅读
----

|  |  |
| --- | --- |
|  | 維基教科書中的相關電子：**离散数学** |

* Norman L. Biggs, *Discrete Mathematics* 2nd ed. Oxford University Press. ISBN 978-0-19-850717-8. Companion Web site: includes questions together with solutions.
* Ronald Graham, Donald E. Knuth, Oren Patashnik, *Concrete Mathematics*
* Richard Johnsonbaugh, *Discrete Mathematics* 6th ed. Macmillan. ISBN 978-0-13-045803-2. Companion Web site:  （页面存档备份，存于）
* Reinhard Klette and Azriel Rosenfeld.. Morgan Kaufmann. 2004  [2020-05-25]. ISBN 1-55860-861-3. （原始内容存档于2021-02-10）.  Also on (digital) topology, graph theory, combinatorics, axiomatic systems.
* Donald E. Knuth, *The Art of Computer Programming*
* Kenneth H. Rosen, *Handbook of Discrete and Combinatorial Mathematics* CRC Press. ISBN 978-0-8493-0149-0.
* Kenneth H. Rosen, *Discrete Mathematics and Its Applications* 6th ed. McGraw Hill. ISBN 978-0-07-288008-3. Companion Web site:  （页面存档备份，存于）
* Ralph P. Grimaldi, *Discrete and Combinatorial Mathematics: An Applied Introduction* 5th ed. Addison Wesley. ISBN 978-0-201-72634-3
* C.L. Liu, *Elements of Discrete Math*
* Neville Dean, *Essence of Discrete Mathematics* Prentice Hall. ISBN 978-0-13-345943-2. Not as in depth as above texts, but a gentle intro.
* Mathematics Archives, Discrete Mathematics links to syllabi, tutorials, programs, etc.  （页面存档备份，存于）
* Jiří Matoušek & Jaroslav Nešetřil, *Invitation to Discrete Mathematics*, OUP.

外部連結
----

* （中文）數學領域：離散數學 (Episte Math) （页面存档备份，存于）

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
应用数学 |
| --- |
|  |
| 运算数学 | 
* 算法
	+ 算法设计
	+ 算法分析
* 自動機理論
* 自动化定理证明
* 编码理论
* 计算几何
* 约束满足
	+ 约束编程
* 计算机逻辑
* 密码学
* 信息论
* 计算统计学

 |
|  |
| 离散数学 | 
* 计算机代数
* 计算数论
* 组合数学
* 图论
* 离散几何学

 |
|  |
| 数学分析 | 
* 逼近理论
* 克利福德分析（英语：）
	+ 克利福德代数
* 微分方程
	+ 常微分方程
	+ 偏微分方程
	+ 随机微分方程
* 微分几何
	+ 微分形式
	+ 规范理论 (数学)（英语：）

* + 几何分析（英语：）
* 动力系统
	+ 混沌理论
	+ 控制理论
* 泛函分析
	+ 算子代数
	+ 算子理论
* 调和分析
	+ 傅里叶分析
* 多重线性代数
	+ 外代数
	+ 几何代数
	+ 张量
	+ 向量代数

* 多元微积分
	+ 外微积分
	+ 几何微积分（英语：）
	+ 张量微积分（英语：）
	+ 向量微积分
* 数值分析
	+ 数值线性代数
	+ 常微分方程数值方法（英语：）
	+ 偏微分方程数值方法
* 变分法

 |
|  |
| 概率论 | 
* 概率分布（随机变量）
* 随机过程 / 随机分析
* 泛函积分
* 马利阿温微积分（英语：）

 |
|  |
| 数学物理 | 
* 分析力学
	+ 拉格朗日力学
	+ 哈密顿力学
* 场论
	+ 经典场论
	+ 共形场论
	+ 有效场论
	+ 规范场论
	+ 量子场论
	+ 统计场论
	+ 拓扑量子场论
* 摄动理论
	+ 微扰理论 (量子力学)
* 位势论
* 弦理论
	+ 玻色弦理论
	+ 拓扑弦论
* 超对称
	+ 超对称量子力学（英语：）
	+ 随机力学超对称理论（英语：）

|  |  |
| --- | --- |
| 代数结构 | 
* 物理空间代数（英语：）
* 路径积分表述
* 泊松代数
* 量子群
* 重整化群
* 粒子物理与表示论（英语：）
* 时空代数
* 超代数（英语：）
* 超对称代数（英语：）

 |

 |
|  |
| 决策论 | 
* 博弈论
* 运筹学
* 最优化
* 社会选择理论
* 统计学
* 数理经济学
* 数理金融学

 |
|  |
| 其他应用 | 
* 数理生物学
* 数学化学（英语：）
* 数学心理学
* 数理社会学

 |
|  |
| 相关领域 | 
* 数学
* 数学软件

 |
|  |
| 社会组织 | 
* 工业与应用数学学会（英语：）
	+ 日本应用数理学会（英语：）
* 法国应用与工业数学学会（英语：）
* 国际工业与应用数学理事会（英语：）

 |
|  |
| 
* **分类**
* 话题

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
计算机科学的主要领域 |
| --- |
|  |
| 注：该模板大致遵循ACM 电脑分类系统。 |
|  |
| 计算机硬件 | 
* 印刷电路板
* 外部设备
* 集成电路
* 超大规模集成电路
* 绿色计算
* 電子設計自動化

 |
|  |
| 系统架构组织 | 
* 電腦系統架構
* 嵌入式系统
* 实时计算

 |
|  |
| 网络 | 
* 网络传输协议
* 路由
* 网络拓扑
* 网络服务

 |
|  |
| 软件组织 | 
* 直譯器
* 中间件
* 虛擬機器
* 操作系统
* 软件质量

 |
|  |
| 软件符号和工具 | 
* 编程范型
* 编程语言
* 編譯器
* 领域特定语言
* 軟體框架
* 集成开发环境
* 软件配置管理
* 函式庫

 |
|  |
| 软件开发 | 
* 软件开发过程
* 需求分析
* 软件设计
* 软件部署
* 軟體維護
* 开源模式

 |
|  |
| 计算理论 | 
* 自动机
* 可计算性理论
* 計算複雜性理論
* 量子计算
* 数值计算方法
* 计算机逻辑
* 形式语义学

 |
|  |
| 算法 | 
* 算法分析
* 算法设计
* 算法效率
* 随机化算法
* 计算几何

 |
|  |
| 计算数学 | 
* 离散数学
* 信息与计算科学
* 统计学
* 数学软件
* 数理逻辑
* 集合论
* 数论
* 图论
* 类型论
* 范畴论
* 信息论
* 数值分析
* 数学分析

 |
|  |
| 信息系统 | 
* 数据库管理系统
* 電腦數據
* 企业信息系统（英语：）
* 社会性软件
* 地理信息系统
* 决策支持系统
* 过程控制
* 数据挖掘
* 數位圖書館
* 系统平台
* 數位行銷
* 万维网
* 信息檢索

 |
|  |
| 安全 | 
* 密码学
* 形式化方法
* 入侵检测系统
* 网络安全
* 信息安全

 |
|  |
| 人机交互 | 
* 计算机辅助功能
* 用户界面
* 可穿戴计算机
* 普适计算
* 虚拟现实
* 聊天機器人

 |
|  |
| 并发性 | 
* 并发计算
* 并行计算
* 分布式计算
* 多线程
* 多元處理

 |
|  |
| 人工智能 | 
* 自动推理
* 计算语言学
* 计算机视觉
* 进化计算
* 专家系统
* 自然语言处理
* 机器人学

 |
|  |
| 机器学习 | 
* 監督式學習
* 無監督學習
* 强化学习
* 交叉驗證

 |
|  |
| 计算机图形学 | 
* 计算机动画
* 可视化
* 渲染
* 修飾照片
* 圖形處理器
* 混合现实
* 虚拟现实
* 图像处理
* 图像压缩
* 实体造型

 |
|  |
| 应用计算 | 
* 电子商务
* 企业级软件
* 计算数学
* 计算物理学
* 计算化学
* 计算生物学
* 計算社會科學
* 医学信息学
* 数字艺术
* 電子出版
* 網絡戰
* 电子游戏
* 文字处理器
* 運籌學
* 教育技术学
* 生物信息学
* 认知科学
* 文件管理系统（英语：）

 |
|  |
| 
* 分类 **分类**
* 主题 **主题**
* 专题**专题**
* 共享资源页面 **维基共享**

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
主要的数学领域 |
| --- |
|  |
| 
* 历史
* 纲要（英语：）
* 列表（英语：）
* 符号表

 |
|  |
| 数学基础 | 
* 范畴论
* 集合论
* 数理逻辑
* 数学哲学

 |  |
|  |
| 代数 | 
* 抽象
* 交換
* 群论
* 初等代數
* 线性代数
* 多重线性代数
* 泛代数

 |
|  |
| 数学分析 | 
* 微积分
* 实变函数
* 复变函数
* 微分方程
* 泛函分析
* 調和分析

 |
|  |
| 离散数学 | 
* 组合数学
* 图论
* 序理论
* 博弈论

 |
|  |
| 几何学 | 
* 代数几何
* 解析几何
* 微分几何
* 离散几何学
* 欧几里得几何
* 非欧几里得几何
* 有限几何学

 |
|  |
| 数论 | 
* 算术
* 代數數論
* 解析数论
* 几何数论
* 算术几何
* 丢番图几何

 |
|  |
| 拓扑学 | 
* 点集拓扑
* 代数拓扑
* 微分拓扑
* 几何拓扑

 |
|  |
| 统计学 | 
* 测度与概率
* 数理统计学
* 数据科学
* 统计推断
* 迴歸分析
* 统计学习理论
* 机器学习
* 人工智能
* 数据结构与算法

 |
|  |
| 计算数学 | 
* 计算机科学
* 计算理论
* 数值分析
* 最优化
* 计算机代数

 |
|  |
| 应用数学 | 
* 控制论
* 信息论
* 计算化学
* 数理生物学
* 数理经济学
* 计量经济学
* 數理金融學
* 数学心理学
* 数学物理学
* 生物統計學

 |
|  |
| 其它 | 
* 娱乐数学
* 数学与艺术（英语：）
* 数学教育

 |
|  |
| 注释 | 
* 数学的领域也可根据"MSC分类标准"或"中国学科分类国家标准"进行分类。

 |
|  |
| 
* 分类 **分类**
* 主题 **主题**
* 共享资源页面**共享资源**
* 专题**专题**

 |

 |