数理逻辑和集合论的关系-查字典问答网
分类选择

来自李世超的问题

  数理逻辑和集合论的关系

  数理逻辑和集合论的关系

3回答
2020-05-08 09:47
我要回答
请先登录
陈义安

  狭义的数理逻辑是指一阶谓词逻辑.

  广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论.

  可以把数理逻辑作为集合论的基础,也可以把数理逻辑作为集合论的一个子集.

2020-05-08 09:49:26
李世超

  若要将二者相通那应先学习哪门课程我想看明白数学的基础理论在学习这两门课程不知道从何处入手。。。。。。请高手指点。。。谢谢

2020-05-08 09:52:48
陈义安

  你若不是学习逻辑专业或者理论计算机科学,那就从集合论看起。数学里会用到一些逻辑符号,用前都会讲的。

2020-05-08 09:54:46

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •