八三看书

第104章 开始推导证明n－s方程（第1页）

确定贾维斯能解决这道数学难题后，叶云州直接授权给它控制自己身体，然后开始在笔记本上书写解答过程。

在燕大图书馆的一角，阳光透过高大的窗户洒在排列整齐的书架上，空气中弥漫着纸张和墨水的淡淡香气。这里，时间仿佛慢了脚步，一切都沉浸在宁静之中。

叶云州坐在木质的桌前，手中握着一支笔，笔尖轻轻触碰着洁白的纸张。随着笔尖在纸上舞动，发出几乎听不见的"沙沙"声。这声音，细微而连续，像是远处树叶轻轻摩擦的声音，又像是深夜里微风掠过湖面的涟漪。

然而，没有人知道，这些常人很难看得懂的数学符号，数学公式，很快将会震动整个数学界甚至整个科学界。

......

“老韩，你看那是不是老叶？”赵天宇用手戳了戳韩墨后说道。

“哪里？”

韩墨顺着赵天宇的眼神方向看过去，只见叶云州在专心的书写着什么。

“走，我们去吓吓他。”韩墨一脸坏笑道。

两人从书架的另外一边悄悄绕到叶云州后面，想要给他一个惊吓。没想到，当韩墨看到叶云州在笔记本上书写的东西的时候直接傻眼了。

韩墨用手拦住后面的赵天宇，转过头用手在嘴边比了一个噤声的手势。赵天宇有点奇怪，韩墨这是看到什么了？

他踮着脚走上前来，只见叶云州在笔记本上快速书写各种数学公式，有的内容他看得懂一些，但大部分他是看不懂的，因为他刚自学完大二的数学课程。而韩墨已经学到大三了，所以看得懂的内容比他多多了。

两人越看越皱眉，他们只看到了有偏微方程的影子，还有一些其他的他们就完全看不懂了。

偏微方程是属于数学分析学这个大类，对于他们这个专业来说，不会很深入的去学，课程也比较少，而且是大二才开的课程。

他们这个专业主要深入学习的是离散数学。

离散数学是理论计算机科学中非常有用的数学领域的总称，包括可计算理论、计算复杂性理论、信息论等。可计算理论用于检验计算机的不同理论模型的极限；复杂性理论探讨问题可被计算机处理的难易程度；信息论关注特定媒介内可存储的数据总量，涉及压缩和熵等概念。

“走，别打扰他，老叶应该是灵感来了。”韩墨拉了拉赵天宇的衣服悄声道。

作为奥赛金牌获得者，韩墨的数学天赋不言而喻，他知道数学研究是要讲灵感的。有的数学家研究某个问题几年几十年，当灵感来临的时候，可能几个小时就搞定了。

两人走开后，赵天宇才问韩墨道：“老韩，老叶到底在研究什么问题啊，你看懂了吗？”

韩墨摇摇头，皱眉道：“应该是关于偏微分方面的问题，没想到老叶竟然选择往这方面。”