设为首页收藏本站
开启辅助访问 切换到窄版
搜索
公开课»论坛 › 公开课 问答 › 考试题库 › 20世纪30年代末至今，数理逻辑发展为两个演算加上四论， ...

[知识问答] 20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项（）。

[复制链接] 【举报中心】
查看11 | 回复0 | 2024-6-29 07:11:11 | 显示全部楼层 |阅读模式
20世纪30年代末公开课学习论坛 Bbs.OpenKE.cn至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项（）。
A.递归论B.证明论C.模型论D.推理论正确答案：推理论
谓词, 数理逻辑, 两个, 递归, 指的是

相关帖子
回复

使用道具 举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

匿名
静雅

3万

主题

1

回帖

5万

积分

论坛元老

Rank: 8Rank: 8

精华
0
金币
39021 个
贡献
0
违规
0
注册时间
2022-10-16
回复楼主 返回列表