"Wikipedia" ASCII码的二进制表示。编码技术为信息论领域提供了一种表示语句和信息处理程序的途径。
离散数学包含几个不同的主题，列举如下：
数理逻辑
编辑
主条目：数理逻辑
逻辑是对有效推理和推理原则，及其连续性、合理性和完整性的研究。举一个简单的例子：在大多数逻辑系统中，皮尔士定律（((P→Q)→P)→P）是正确的，而且可以简易地利用真值表得到证明。数学证明在数理逻辑中十分重要，而且在自动定理证明和软件开发（如形式验证）有广泛应用。
集合论
编辑
主条目：集合论
集合论是研究集合的数学分支。集合是指一定对象的总和，例如：{蓝色，白色，红色}是一个有限集合；所有素数组成一个无限集合。 偏序关系和拥有其他关系特征的集合在多个数学领域都有应用。
信息论
编辑
主条目：信息论
素数螺旋图，黑点为素数。
信息论涉及信息量化。与此密切相关的编码理论则用来设计高效可靠的数据传输和数据储存方法。
数论
编辑
主条目：数论
数论关注普通数字，特别是整数的特性。数论在密码学和密码分析中有应用，特别是关于素数和素性测试方面。在解析数论中，也使用连续数学的理论。
组合数学
编辑
主条目：组合数学
代数图论与群论有着紧密联络。此截角四面体图与交错群A4有关。
组合数学研究对象进行排列或组合的途径，包含组合设计（Combinatorial design）、计数组合（enumerative combinatorics）、计数、组合几何（combinatorial geometry）、组合拓扑（Combinatorial topology）等主题。图论是组合数学的重要部分，有很多实际应用。
在组合分析（analytic combinatorics）和代数图论（algebraic graph theory）中也使用连续数学的理论，而且代数图论还与群论有着紧密联络。
图论
编辑
主条目：图论
图论是研究图和网络的数学分支，常被认为包含于组合数学中，但这一分支已经发展得足够庞大和有特点，并有自身领域所研究的问题，因此被视为一个独立的主题，在数学和科学的所有领域都有广泛的应用。例如：有名的七桥问题。[7]
抽象代数
编辑
主条目：抽象代数
代数结构既可以是离散的，也可以是连续的。离散代数包括逻辑门和编程中使用的逻辑代数、数据库中使用的关系代数、代数编码理论中重要的离散有限群、环和域、形式语言理论中的离散半群和幺半群。
理论电脑科学
编辑
主条目：理论电脑科学
复杂度研究程序耗费的时间，例如这个快速排序程序。
离散数学充分描述了电脑科学离散性的特点。
理论电脑科学（Theoretical computer science）包含离散数学计算的领域，并特别注重图论和数理逻辑。理论电脑科学包括对计算数学结果的算法研究。可算性理论研究那些对象在原则上可被计算，和逻辑有密切联络。而复杂性则研究计算耗费的时间，自动机理论和形式语言理论与复杂性紧密联络。计算几何应用算法解决几何问题，而电脑图像分析则是应用算法在电脑中再现图像。
拓扑学
编辑
主条目：拓扑学
虽然拓扑学是形式化和一般化物体“连续形变”的直觉概念的研究领域，其也包含很多离散主题，如拓扑变换时常取离散值，组合拓扑、拓扑图论、拓扑组合、计算拓扑、离散空间、有限拓扑空间等领域。
运筹学
编辑
主条目：运筹学
像这样的PERT图提供一个基于图论的商业管理技术。运筹学的研究为解决一些商业上和其他范筹上实质的问题提供方法。这些问题包括如何分配资源以使利润增至最高和如何为企划调度使风险减至最低等。运筹学的研究方向包括线性规划、最优化、等候理论、调度理论、网络理论，和一些正在增加的其他方面。运筹学的内容也会涉及一些连续主题，如连续时间马尔可夫过程、连续时间鞅、过程优化（英语：process optimization）以及连续混合控制理论。
博弈论、决策论、效用理论、社会选择理论
编辑
合作
背叛
合作
-1, -1
-10, 0
背叛
0, -10
-5, -5
囚徒困境的支付矩阵
博弈论用于处理的问题比较复杂，通常这些选择成功与否取决于其他人的选择，因此如何作最好出一个最好的选择比较复杂。连续对策甚至也是存在的，如微分博弈。博弈论的主题包括拍卖理论和公平分配博弈。
决策论是有关判定特定决策的价值、不确定性、合理性以及最终能够确定的最优决策的理论。
效用理论的研究内容是由各种商品和服务评估相对经济满足程度，或是评估各种商品和服务的希求程度。
社会选择理论是关于投票的理论。更近似于谜题的有关投票的问题是抽签问题（Bertrand's ballot theorem）。
离散化
编辑
主条目：离散化
离散化关注将连续模型或等式转化为离散形式的过程，通常是基于简化计算的目的。数值分析是离散化一个重要实例。
连续数学的离散近似
编辑
计算几何将电脑算法应用于几何物体的描绘
很多的连续数学概念都有离散数学的版本，例如:
离散微积分
离散概率分布
离散傅里叶变换
离散几何
离散对数
离散微分几何
离散外微分
离散莫尔斯理论
差分方程
离散动力系统。
在应用数学中，离散模型是连续模型的离散近似。在离散模型中，离散方程由数据确定。使用递推关系是这种建模方式的一般方法。
离散和连续混合数学
编辑
时标微积分是差分方程理论与微分方程理论的统一，应用在需要建立离散和连续同步数据模型的领域。