第114章 仅仅是个巧合吗?
礼包中系统随机赠与宿主散落的SCI论文‘碎片’108个(在这108个碎片中有72个迷惑性碎片,只有36个有价值碎片,在这些有价值碎片中共包含10篇SCI级别论文)”
系统中有价值的碎片也刚好是48个,这仅仅是个巧合吗?
虽然不能就此说明这些和离散数学有关的碎片就是和有价值的碎片吻合的,但章杉总觉得两者有很大的关联。
章杉这样的想法也有其他的根据,在章杉刚才分析归纳出来的各个数学分支中,数离散数学和章杉现在的专业计算机科学与技术系联系最为密切。
离散数学是指对理论计算机科学最有用处的数学领域之总称,这包含有可计算理论、计算复杂性理论及信息论。
其中可计算理论检验电脑的不同理论模型之极限,这包含现知最有力的模型-图灵机。
而复杂性理论研究可以由电脑做为较易处理的程度;有些问题即使理论是可以以电脑解出来,但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的,尽管电脑硬件的快速进步。
最后,信息论专注在可以储存在特定媒介内的数据总量,且因此有压缩及熵等概念。
离散数学在本科软件工程专业的授课内容一般分为四大部分:数理逻辑、集合论、代数系统、图论,这4个部分紧密连接。
数理逻辑描述了一个符号化体系,这个体系可以描述集合论中的所有概念。
集合论中又有3个小模块:集合、关系、函数。关系是集合中笛卡儿乘积的子集,函数是关系的子集。
代数系统是定义函数的运算。
图论是一类特殊的代数系统。
离散数学是数学众多分支中相对较新的领域,某种程度上离散数学也相当于一块处女地,等着人们去涉足。
离散数学有许多基本的未解问题。譬如说其中最有名的为P/NP问题。
P/NP问题是一个在理论信息学中计算复杂度理论领域里至今未被解决的问题,也是克雷数