学习离散数学

离散数学

离散数学是什么呢？

离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般的是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点，计算机科学中的程序设计语言、数据结构、操作系统、数据库技术、编译理论、算法分析、可计算性与计算复杂性理论、逻辑设计、系统结构、容错诊断、人工智能与机器人、机器定理证明等理论课程都是以离散数学为基础的。

——暗影宝库

学习它的理由

嗯，主要是受浩然影响=~=
但是本身也有一部分是我对它的好奇，和对这些知识的需要。
一直都想做出『真正』的人工智慧，但『小R』只不过是QA集合体，算不上真正的AI。就算是伪·AI也能够分析自然语言得出结果，而小R连这都算不上呢。就算如此，还是会一直去完善它的。
前面提到过，离散数学对人工智能的研究有着重大意义，即学习中重要的一点『如何就已有的前提来推导出结论』的推理过程。通常对其的探讨是『推理过程的有效性』而并非『结论的正确性』……这样吧。
以上三点理由，已经足够让我出发了。

学习中

在图书馆翻到唯一一本国人出版的《离散数学》并把它借了回来，然后因为有着2+2个月超长借期（=w=）所以决定借整个寒假的我直接把它借走了=~=
认真的看了好几天，大概把第一章的第一部分看明白了吧。合取（∧），析取（∨），非（¬），单条件（→），双条件（↔）……虽然和编程里的and or not if-then有点像，但是还是有区别的，不能直接这么理解。浩然建议我尽量不要拿编程知识来学习离散数学。
总而言之，继续看看吧。所有的课间时间都被我拿来做练习了，期末考什么的……信心满满的一路走下去吧！小R，离散数学，学习，我会一样不落的做好的~