现代逻辑是以19世纪中期出现的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究演绎推理及逻辑规律，是传统形式逻辑的直接延续和__________。填入划横线部分最恰当的一项是：A．延伸B．发展C．变革D．变化

题目

现代逻辑是以19世纪中期出现的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究演绎推理及逻辑规律，是传统形式逻辑的直接延续和__________。填入划横线部分最恰当的一项是：

A．延伸

B．发展

C．变革

D．变化

相似考题

1.在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为“形式化语言”。以下选项属于它基本特征的是()。A.明确性B.无歧义性C.多义性D.语言保持单一性

2.关系演算的基础是(28)。A．形式逻辑中的逻辑演算B．形式逻辑中的关系演算C．数理逻辑中的谓词演算D．数理逻辑中的形式演算

3.现代逻辑是以19世纪中期粗线的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究演绎推理及逻辑规律，是传统形式逻辑的直接延续和（ ）。A延伸 B变革 C发展 D变化

4.在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为()。A.图形语言B.形象语言C.未来语言D.“形式化语言”

更多“现代逻辑是以19世纪中期出现的数理逻辑为起点的,它使用特别符号和形式系统的方法来研究 ”相关问题

  • 第1题：

    形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子：语言Z定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式，否则不是。则语言Z为一种形式语言。（）


    数学;数理逻辑

  • 第2题：

    形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子:语言Y定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式。则语言Y是一种形式语言。（）


    数学;数理逻辑

  • 第3题：

    关系演算的基础是（)。

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

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

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

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


    数理逻辑中的谓词演算

  • 第4题：

    形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子：语言X定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，构成表达式的为一个公式，否则不是。则语言X为一种形式语言。（）


    数学数理逻辑

  • 第5题：

    1、逻辑学是古代哲学三个核心要素之一，主要有三种形态，即_____、数理逻辑和辩证逻辑。

    A．符号逻辑

    B．理论逻辑

    C．形式逻辑

    D．演绎逻辑


    形式逻辑

相关内容