【离散数学】相关概念_01

概念

---

离散数学

研究离散量和相互间的关系为目标，研究对象是有限个；

理解：概念中的重点是【离散量】【相互间的关系】，离散量是题目应有之义，而相互关系是隐含的；如果离散量直接没有相互关系，那便失去了研究的意义

逻辑学

研究思维形式及思维规律的科学

·逻辑学
 |
 |----辩证逻辑	// 以辩证法认识论的世界观为基础的逻辑学
 |
 |----形式逻辑	// 对思维形式结构和规律进行研究的学科（类似于语法的工具性学科

理解：辩证逻辑就是哲学，形式逻辑就是数学

  这里分享一句话（辩证看待）：

科学的尽头是神学

推理

有一个或几个判断推断出另一判断的思维形式

理解：这里说推理是思维形式，而我认为推理是思维过程，不知道思维形式和思维有什么关联

数理逻辑

用数学的方法研究推理的规律

数学的方法：引入一套符号体系，从量上研究思维规律

·现代数理逻辑
 |
 |----证明论
 |
 |----模型论
 |
 |----递归函数论
 |
 |----公理化集合论
 |...

参考数目

---

[1] 左孝凌.离散数学[M].上海：上海科学技术文献出版社，2021