“离散数学”本身就是一个大杂烩的概念，算是把 分析-拓扑-几何 （或许可以称这三者为“连续数学”）之外的内容随意安放在了一起。可以说是为了适应计算机科学的需要，计算机科学的教学中人为地编攒了这样的一个学科。而在数学学科中没有对应的概念。自然的，在深度上也就有很大欠缺。
所以如何将其进行分类就成了非常重要的事情。
数理逻辑
感觉像“元数学”。
抽象代数
感觉像线性代数的升级版，主要研究对象是代数结构，比如群、环、域、模、向量空间、格与域代数。
“代数”指的是一个集合以及施加在这个集合上的运算。
计算理论
计算理论（英语：Theory of computation）是数学的一个领域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：
- 采用什么计算模型（即形式语言、自动机）
- 解决哪些是可计算的、哪些是不可计算的（即可计算性理论及算法）
- 要用多少时间、要用多少存储（即计算复杂性理论）
这三方面的问题可以用一个问题来总括：“电脑的基础能力及限制到什么程度？”