题目内容
(请给出正确答案)
[单选题]
9、20世纪30年代末至今,数理逻辑发展为两个演算加上四论,两个演算指的是命题演算和谓词演算,其中四论不包括下列哪一项().
A.递归论
B.证明论
C.模型论
D.推理论
答案
数学化;集合论
如搜索结果不匹配,请 联系老师 获取答案
A.递归论
B.证明论
C.模型论
D.推理论
第4题
A.安全的元组演算公式和安全的域演算公式可以等价变换
B.关系代数运算和关系演算之间是互补的,即它们可以利用各自特点解决彼此不能解决的问题
C.关系代数和关系演算不一定是安全的
D.关系演算以属性为基本处理单位
第5题
A.安全的元组演算公式和安全的域演算公式可以等价变换
B.关系代数运算和关系演算之间是互补的,即它们可以利用各自特点解决彼此不能解决的问题
C.关系代数和关系演算不一定是安全的
D.关系演算以属性为基本处理单位
第6题
A.安全的元组演算公式和安全的域演算公式可以等价变换
B.关系代数运算和关系演算之间是互补的,即它们可以利用各自特点解决彼此不能解决的问题
C.关系代数和关系演算不一定是安全的
D.关系演算以属性为基本处理单位
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!