9、20世纪30年代末至今,数理逻辑发展为两个演算加上四论,两个演算指的是命题演算和谓词演算,其中四论不包括下列哪一项().A.递归论B.证明论C.模型论D.推理论

题目

9、20世纪30年代末至今,数理逻辑发展为两个演算加上四论,两个演算指的是命题演算和谓词演算,其中四论不包括下列哪一项().

A.递归论

B.证明论

C.模型论

D.推理论


相似考题
更多“9、20世纪30年代末至今,数理逻辑发展为两个演算加上四论,两个演算指的是命题演算和谓词演算,其中四论不包括下列哪一项().”相关问题
  • 第1题:

    一般来讲,较常用的关系运算是关系代数和( )。

    A.集合代数

    B.集合演算

    C.逻辑演算

    D.关系演算


    正确答案:C

  • 第2题:

    下面哪一个不是一种关系数据库语言( )。

    A关系操作

    B关系代数

    C元组关系演算

    D域关系演算


    参考答案A

  • 第3题:

    关系模犁是一种新的数据库模型。它是建立在严格的数学理论、【 】和谓词演算公式基础上的。


    正确答案:集合论
    集合论

  • 第4题:

    在谓词演算中,P(A) 是xP(x)的有效结论,根据是 (60) 。

    A.US规则

    B.UG规则

    C.ES规则

    D.EG规则


    正确答案:A
    解析:全称量词消去规则的定义为,即A(C)是的有效结论.故应选择A。

  • 第5题:

    一般来讲,较常用的关系运算是关系代数和(24)。

    A.逻辑演算

    B.关系演算

    C.集合演算

    D.集合代数


    正确答案:B
    解析:本题考查关系运算的概念。关系数据库系统是当今普遍应用的数据库系统,而关系运算是关系数据库的理论基础,它包括关系代数和关系演算两部分。关系代数的5个基本操作是并、差、投影、笛卡儿积和选择;关系演算是以谓词逻辑演算为基础,它按所用到的变量的不同又可以分为元组关系演算和域关系演算。

  • 第6题:

    下列关于关系数据语言的叙述中,哪一条是错误的()。

    A.关系代数是关系操作语言的一种传统表示方式,是一种抽象的查询语言
    B.元组关系演算和域关系演算属于关系演算语言
    C.关系代数比关系演算具有更强的表达能力
    D.SQL语言是一种重要的关系数据语言

    答案:C
    解析:
    关系演算是以数理逻辑中的谓词演算为基础的,比较接近于自然演算,故表达能力更强。

  • 第7题:

    按谓词变元的不同,关系演算可分为元组关系演算和()。


    正确答案:域关系演算

  • 第8题:

    关系代数运算是以()为基础的运算。

    • A、关系运算
    • B、谓词演算
    • C、集合运算
    • D、代数运算

    正确答案:C

  • 第9题:

    关系演算是一种()

    • A、以元组为变量的谓词演算
    • B、以属性为变量的谓词演算
    • C、基于集合的运算
    • D、以关系为运算对象的高级运算的集合

    正确答案:A

  • 第10题:

    有关过滤函数的演算选择,哪项不妥()

    • A、一般扫描选择标准数学演算
    • B、肝胆胰选择软组织数学演算
    • C、内耳选择骨细节数学演算
    • D、肺结节性病变HRCT选择软组织数学演算
    • E、颅脑扫描选择标准数学演算

    正确答案:D

  • 第11题:

    单选题
    有关过滤函数的演算选择,哪项不妥()
    A

    一般扫描选择标准数学演算

    B

    肝胆胰选择软组织数学演算

    C

    内耳选择骨细节数学演算

    D

    肺结节性病变HRCT选择软组织数学演算

    E

    颅脑扫描选择标准数学演算


    正确答案: D
    解析: 暂无解析

  • 第12题:

    单选题
    关系演算是一种()
    A

    以元组为变量的谓词演算

    B

    以属性为变量的谓词演算

    C

    基于集合的运算

    D

    以关系为运算对象的高级运算的集合


    正确答案: A
    解析: 暂无解析

  • 第13题:

    关系数据模型上的关系运算分为______。

    A.关系代数和集合运算

    B.关系代数和关系演算

    C.关系演算和谓词演算

    D.关系代数和谓词演算


    正确答案:B

  • 第14题:

    关系运算可分为关系代数和关系演算两大类,其中关系代数又可分为元组演算和域演算两类。()

    此题为判断题(对,错)。


    参考答案错误

  • 第15题:

    关系演算是用( )来表示查询要求的方式。

    A.域

    B.关系的运算

    C.元组

    D.谓词演算


    正确答案:D
    解析:用谓词演算表达查询要求的方式称为关系演算,用关系的运算来表达查询要求的方式是关系代数,而元组和域的本身都不能用来表达查询要求。

  • 第16题:

    关系演算的基础是(28)。

    A.形式逻辑中的逻辑演算

    B.形式逻辑中的关系演算

    C.数理逻辑中的谓词演算

    D.数理逻辑中的形式演算


    正确答案:C
    解析:关系数据库中的关系演算包括元组关系演算和域关系演算。两者都是由原子公式组成的公式。而这些关系演算都是以数理逻辑中的谓词演算为基础的。数理逻辑中包括两个重要的组成部分,即命题演算和谓词演算。

  • 第17题:

    关于关系演算语言,下列说法中正确的是(67)。

    ①查询操作是以集合操作为基础运算的DML语言

    ②查询操作是以谓词演算为基础运算的DML语言

    ③关系演算语言的基础是数理逻辑中的谓词演算

    ④关系演算语言是一种过程性语言

    A.②

    B.②③

    C.②③④

    D.全部


    正确答案:B
    解析:本题考查关系演算语言的概念和性质。关系演算语言与关系代数语言都是一种关系查询语言。其中关系演算语言的查询操作是以谓词演算为基础的运算,而关系代数语言的查询操作是以集合操作为基础的运算。关系查询语言是一种非过程性的语言。

  • 第18题:

    三段论第二格的两个前提都是肯定命题时,该三段论必然要犯的错误是().

    • A、四词项错误
    • B、中项两次不周延
    • C、小项扩大
    • D、大项扩大

    正确答案:B

  • 第19题:

    对关系模型叙述错误的是()

    • A、建立在严格的数学理论、集合论和谓词演算公式的基础之上
    • B、微机DBMS绝大部分采取关系数据模型
    • C、用二维表表示关系模型是其一大特点
    • D、不具有连接操作的DBMS也可以是关系数据库系统

    正确答案:D

  • 第20题:

    谓词演算


    正确答案:将谓词逻辑的推理形式和规律组成一个形式化的公理系统即所谓谓词演算。

  • 第21题:

    关系演算可以分为元组关系演算和()关系演算。


    正确答案:

  • 第22题:

    单选题
    关系代数运算是以()为基础的运算。
    A

    关系运算

    B

    谓词演算

    C

    集合运算

    D

    代数运算


    正确答案: B
    解析: 暂无解析

  • 第23题:

    名词解释题
    谓词演算

    正确答案: 将谓词逻辑的推理形式和规律组成一个形式化的公理系统即所谓谓词演算。
    解析: 暂无解析

  • 第24题:

    填空题
    关系演算可以分为元组关系演算和()关系演算。

    正确答案:
    解析: 暂无解析