第27章 游戏开发，从扫雷开始(2/4)

。”徐思远扶了下眼镜，道。

等几人到了图书馆，这才发现确实有不少人都很早就在图书馆看书自习了。

心里头更多了一份努力的动力。

他们能做到的，我也能做到，而且能够做更好。

拿着书，几人坐在一侧，开始了认真自学。

江成略略观察了一下，他们三人都是学神级的人物，大一的书本，对他们来说问题并不算太大。

他自己则是拿了《离散数学》，开始了学习（看书）。

离散数学，英文名叫discreteatheatics，这是一门研究离散量的结构及其相互关系的数学学科，是计算机专业的必修学科。

江成自学的，是水木大学出版社的《离散数学》（第2版）。

第一章，是数学语言和证明方法，是高中学的集合和逻辑的提升版，总体以定义和数学逻辑为主，倒没有很大的问题。

继续快速自学。

不过，后面有些内容就有有意思多了。

比如说，第十一章，是初等数论。

里面就涉及到了素数，同余等知识。

例题：求1949年10月1日，是星期几？（不翻日历）

这里头运用同余中的模变换法，一下子就可以求出。

根据日期，可知c=19,x=49,=8,d=1,

w=49+[49/4]+[19/4]-219+28+[(8+[8/7])/2]+[8/12]+1≡6（od7），故可知是周六。

当然，江成也很感兴趣这些公式、定理是怎么来的。

大部分他都要求根问底，去找找相应的定理证明过程，有个别比较简单的定理，他还会尝试自己去推演一下。

在数学中，没有哪个定理，是直接就出了推导公式，相反，更为重要的是那些推导论证过程。

等快到中午的时候，江成把大一上学期的《离散数学》给看完了。

总体上感觉不难，把这些概念和定义搞清楚了，这些形式变换一类，还是比较简单的。

下午，江成打算再看看相关的习题和延伸知识书籍。

一上午