数理逻辑是讲什么的?

2020-2-7 13:12| 发布者: Fuller| 查看: 4563| 评论: 0

摘要: 数理逻辑在人工智能、编程语言、计算理论等领域具有重要的地位,再次不想给数理逻辑下个准确的定义,而是把学习《离散数学》过程中掌握的要点罗列一下。左孝凌撰写的《离散数学》第一篇讲的就是数理逻辑,第一篇的导 ...

数理逻辑在人工智能、编程语言、计算理论等领域具有重要的地位,再次不想给数理逻辑下个准确的定义,而是把学习《离散数学》过程中掌握的要点罗列一下。


左孝凌撰写的《离散数学》第一篇讲的就是数理逻辑,第一篇的导言很清楚地讲解了数理逻辑是研究什么的,我做了一个思维导图,可以看到数理逻辑在其中的位置:


数理逻辑:引进一套符号体系的方法,所以也叫符号逻辑,是从量的侧面来研究思维规律的


数理逻辑有这些分支领域:

  • 证明论
  • 模型论
  • 递归函数论
  • 公理化集合论


鲜花

握手

雷人

路过

鸡蛋

最新评论

GMT+8, 2024-12-4 21:26