作业帮 > 数学 > 作业

数理逻辑和集合论的关系

来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/11/17 09:08:04
数理逻辑和集合论的关系
数理逻辑和集合论的关系
狭义的数理逻辑是指一阶谓词逻辑.
广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论.
可以把数理逻辑作为集合论的基础,也可以把数理逻辑作为集合论的一个子集.
再问: 若要将二者相通 那应先学习哪门课程 我想看明白数学的基础理论 在学习这两门课程不知道从何处入手。。。。。。请高手指点。。。谢谢
再答: 你若不是学习逻辑专业或者理论计算机科学,那就从集合论看起。 数学里会用到一些逻辑符号,用前都会讲的。