快捷导航

        数理逻辑是讲什么的?

        2020-2-7 13:12| 发布者: Fuller| 查看: 586| 杏吧专区: 0

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

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


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


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


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

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


        鲜花

        握手

        雷人

        路过

        鸡蛋

        最新杏吧专区

        GMT+8, 2020-4-2 10:09