概念
离散数学
研究离散量和相互间的关系为目标,研究对象是有限个;
理解:概念中的重点是【离散量】【相互间的关系】,离散量是题目应有之义,而相互关系是隐含的;如果离散量直接没有相互关系,那便失去了研究的意义
逻辑学
研究思维形式及思维规律的科学
·逻辑学
|
|----辩证逻辑 // 以辩证法认识论的世界观为基础的逻辑学
|
|----形式逻辑 // 对思维形式结构和规律进行研究的学科(类似于语法的工具性学科
理解:辩证逻辑就是哲学,形式逻辑就是数学
这里分享一句话(辩证看待):
科学的尽头是神学
推理
有一个或几个判断推断出另一判断的思维形式
理解:这里说推理是思维形式,而我认为推理是思维过程,不知道思维形式和思维有什么关联
数理逻辑
用数学的方法研究推理的规律
数学的方法:引入一套符号体系,从量上研究思维规律
·现代数理逻辑
|
|----证明论
|
|----模型论
|
|----递归函数论
|
|----公理化集合论
|...
参考数目
[1] 左孝凌.离散数学[M].上海:上海科学技术文献出版社,2021