2020-2-7 13:12| 发布者: Fuller| 查看: 4563| 评论: 0
数理逻辑在人工智能、编程语言、计算理论等领域具有重要的地位,再次不想给数理逻辑下个准确的定义,而是把学习《离散数学》过程中掌握的要点罗列一下。
左孝凌撰写的《离散数学》第一篇讲的就是数理逻辑,第一篇的导言很清楚地讲解了数理逻辑是研究什么的,我做了一个思维导图,可以看到数理逻辑在其中的位置:
数理逻辑:引进一套符号体系的方法,所以也叫符号逻辑,是从量的侧面来研究思维规律的
数理逻辑有这些分支领域:
评论
GMT+8, 2024-12-4 21:26