及信息论。
其中可计算理论检验电脑的不同理论模型之极限，这包含现知最有力的模型－图灵机。
而复杂性理论研究可以由电脑做为较易处理的程度；有些问题即使理论是可以以电脑解出来，但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的，尽管电脑硬件的快速进步。
最后，信息论专注在可以储存在特定媒介内的数据总量，且因此有压缩及熵等概念。
离散数学在本科软件工程专业的授课内容一般分为四大部分：数理逻辑、集合论、代数系统、图论，这4个部分紧密连接。
数理逻辑描述了一个符号化体系，这个体系可以描述集合论中的所有概念。
集合论中又有3个小模块：集合、关系、函数。关系是集合中笛卡儿乘积的子集，函数是关系的子集。
代数系统是定义函数的运算。
图论是一类特殊的代数系统。
离散数学是数学众多分支中相对较新的领域，某种程度上离散数学也相当于一块处女地，等着人们去涉足。
离散数学有许多基本的未解问题。譬如说其中最有名的为p/np问题。
p/np问题是一个在理论信息学中计算复杂度理论领域里至今未被解决的问题，也是克雷数学研究所七个千禧年大奖难题之一。p/np问题中包含了复杂度类p与np的关系。1971年史提芬·古克（stephen a. ok）和leonid levin（英语：leonid levin）相对独立地提出了下面的问题，即复杂度类p和np是否是等价的（p=np?）
简简单单地说p/np问题可能不为人们所知，但如果说p对np问题是克雷数学研究所高额悬赏的七个千禧年难题（它们分别是np完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、bsd猜想。其中庞加莱猜想已被解决）之一，很多人就顿时明了。
这个问题也是计算机科学领域的最大难题，关系到计算机完成一项任务的速度到底有多快。
章杉记得刚才罗列的第99号碎片属于的领域就是离散数学，涵盖了《复杂度类p相关问题研究》《p/np问题深入》《计算复杂度理论的另类思考》；
第100号碎片同样是离散数学，涵盖了《p=np?》《p≠np?》《浅析p/np问题》这几本书，而第101号碎片同样是一些跟p/np有关的书目。
所以说第99、100、101号碎片背后指向的是离散数学中大名鼎鼎地p/np问题吗？
章杉整个人都惊呆了，要真的是p/np问题，这哪里是简单sci一区能够表述的了的问题。
这如果扔出去分明就是一个能够震惊世界的超级重磅炸弹。
<