9、20世纪30年代末至今,数理逻辑发展为两个演算加上四论,两个演算指的是命题演算和谓词演算,其中四论不包括下列哪一项().
A.递归论
B.证明论
C.模型论
D.推理论
第1题:
一般来讲,较常用的关系运算是关系代数和( )。
A.集合代数
B.集合演算
C.逻辑演算
D.关系演算
第2题:
下面哪一个不是一种关系数据库语言( )。
A关系操作
B关系代数
C元组关系演算
D域关系演算
第3题:
关系模犁是一种新的数据库模型。它是建立在严格的数学理论、【 】和谓词演算公式基础上的。
第4题:
在谓词演算中,P(A) 是xP(x)的有效结论,根据是 (60) 。
A.US规则
B.UG规则
C.ES规则
D.EG规则
第5题:
一般来讲,较常用的关系运算是关系代数和(24)。
A.逻辑演算
B.关系演算
C.集合演算
D.集合代数
第6题:
第7题:
按谓词变元的不同,关系演算可分为元组关系演算和()。
第8题:
关系代数运算是以()为基础的运算。
第9题:
关系演算是一种()
第10题:
有关过滤函数的演算选择,哪项不妥()
第11题:
一般扫描选择标准数学演算
肝胆胰选择软组织数学演算
内耳选择骨细节数学演算
肺结节性病变HRCT选择软组织数学演算
颅脑扫描选择标准数学演算
第12题:
以元组为变量的谓词演算
以属性为变量的谓词演算
基于集合的运算
以关系为运算对象的高级运算的集合
第13题:
关系数据模型上的关系运算分为______。
A.关系代数和集合运算
B.关系代数和关系演算
C.关系演算和谓词演算
D.关系代数和谓词演算
第14题:
此题为判断题(对,错)。
第15题:
关系演算是用( )来表示查询要求的方式。
A.域
B.关系的运算
C.元组
D.谓词演算
第16题:
关系演算的基础是(28)。
A.形式逻辑中的逻辑演算
B.形式逻辑中的关系演算
C.数理逻辑中的谓词演算
D.数理逻辑中的形式演算
第17题:
关于关系演算语言,下列说法中正确的是(67)。
①查询操作是以集合操作为基础运算的DML语言
②查询操作是以谓词演算为基础运算的DML语言
③关系演算语言的基础是数理逻辑中的谓词演算
④关系演算语言是一种过程性语言
A.②
B.②③
C.②③④
D.全部
第18题:
三段论第二格的两个前提都是肯定命题时,该三段论必然要犯的错误是().
第19题:
对关系模型叙述错误的是()
第20题:
谓词演算
第21题:
关系演算可以分为元组关系演算和()关系演算。
第22题:
关系运算
谓词演算
集合运算
代数运算
第23题:
第24题: