数理逻辑是讲什么的？

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

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

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

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

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