在重新接触离散数学的时候，我顿时发现很多以前感觉根本没用的东西的作用。

数理逻辑这一部分，在我目前看我。就是强调  现实世界形式化。将现实世界中的各种实体及其逻辑关系转化成公式，然后在公式中推理一切，非常强调逻辑。像论文的问题定义和方法的形式化都可以参考本部分，抽出其本质公式，推理之，结论之。

   看论文也是一个在脑子中，将整个论文公式化的一个过程。什么得到什么，其逻辑性、其推理过程强不强、好不好之类的。进而发现弱点和漏洞。

    为什么要学主析取范式，就是给所有的命题一个标准化的表达（当命题变元过多时候），以方便他们之间对比。那么读论文就是从里面找出其命题逻辑关系，如果同一个领域论文，就会有同一命题的逻辑关系推断，我们试图总结出来，然后看看能不能重新得到新的各种逻辑关系。

  为什么要学在P系统进行命题逻辑推理理论？  就是叫你如何用数学方式去利用前提去构建证明序列到结论，你需要非常熟练各种推理规则，合理利用，然后得到前提+证明序列+结论。

集合论这部分，就是离散数据及其关系的表示。有集合的运算/最普遍二元关系/离散函数的对应。这个在论文中就是关心离散对象及其关系，或者找到严格函数关系。比如网络科学中的网络传播这一章节，就是将网络中的边对应二元关系，然后进行函数对应，得到网络传播跟节点影响力的函数关系。

代数结构不知道在研究什么，不太懂。而组合数学研究一些需要排列/组合知识的东西，比如波利亚罐子模型

图论就是研究图这种模型及其一些定理。

数论是专门对数字的各种实践操作。