来自李世超的问题
数理逻辑和集合论的关系
数理逻辑和集合论的关系
狭义的数理逻辑是指一阶谓词逻辑.
广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论.
可以把数理逻辑作为集合论的基础,也可以把数理逻辑作为集合论的一个子集.
若要将二者相通那应先学习哪门课程我想看明白数学的基础理论在学习这两门课程不知道从何处入手。。。。。。请高手指点。。。谢谢
你若不是学习逻辑专业或者理论计算机科学，那就从集合论看起。数学里会用到一些逻辑符号，用前都会讲的。
大家都在问
最新问答
海冰含盐量接近淡水，...2020-12-30
三峡游山峰一下子就被...2020-12-30
二元一次方程简单的配...2020-12-30
【偏裨将校是什么意思...2020-12-30
如图秒表的读数为__...2020-12-30
____abigfi...2020-12-30
【知道本金和税后利息...2020-12-30
《一百条裙子》读后感...2020-12-30
利用矩阵解二元一次方...2020-12-30
【英语中的peasa...2020-12-30