更多"十九世纪中叶，数学家布尔成功地将形式逻辑归结为一种代数运算；1937年"的相关试题:
[单项选择]图灵机是由阿兰•图灵提出的（）。
A. 一种抽象的计算模型
B. 一种计算机
C. 一种机器人
D. 一种计算器
[单项选择]以下关于图灵机的说法，错误的是（）。
A. 图灵机是一种抽象计算模型，并没有真正生产出来
B. 图灵机的理论是在冯•诺依曼型计算机体系结构基础上产生的
C. 图灵机是一种数学自动机模型，包含了存储程序的思想
D. 在图灵机的基础上发展了可计算性理论
[单项选择]以下关于图灵机的说法，正确的是（）。
A. 图灵机是一种抽象计算模型
B. 图灵机由控制器、运算器和存储器组成
C. 图灵机是人类历史上生产出的第一台电子计算机
D. 图灵机的理论是在冯•诺依曼的理论基础上产生的
[单项选择]关于“图灵机”，下列说法不正确的是（）
A. 图灵机是由一个控制器、一条可以无限延伸的纸带和一个在纸带上左右移动的读写头组成；
B. 图灵机的状态转移函数，其实就是一条指令，即在q状态下，当输入为X时，输出为Y，读写头向右（R）、向左（L）移动一格或不动（N），状态变为p；
C. 图灵机给出的是计算机的物理模型
D. 凡是能用算法方法解决的问题也一定能用图灵机解决；凡是图灵机解决不了的问题人和算法也解决不了；
[判断题]图灵机不能计算的问题现代计算机未必不能计算。
[单项选择]图灵机就其计算能力而言，它能模拟（）
A. 人脑的大多数活动
B. 任何计算机
C. 任何现代计算机
D. 老式计算机的所有活动
[单项选择]关于“图灵机”和“计算”，下列说法不正确的是（）
A. 计算就是对一条两端可无限延长的纸带上的一串0和1，一步一步地执行指令，经过有限步骤后得到的一个满足预先规定的符号串的变换过程；
B. “数据”可被制成一串0和1的纸带送入机器中进行自动处理，被称为数据纸带；处理数据的“指令”也可被制作成一串0和1的纸带送入机器中，被称为程序纸带；机器一方面阅读程序纸带上的指令，并按照该指令对数据纸带上的数据进行变换处理。
C. 计算机器可以这样来制造：读取程序纸带上的指令，并按照该指令对数据纸带上的数据做相应的变换，这就是图灵机的基本思想；
D. 图灵机的计算是由读写头来控制执行一系列动作的。
[判断题]图灵机模型是将控制处理的规则和待处理的信息以及结果都用二进制的0和1表达。
[单项选择]图灵机由3部分组成：一条双向都可无限延长的被分为一个个方格的纸带、（）和一个读写头。
A. 一个读写控制器
B. 一个无限状态寄存器
C. 一个控制器
D. 一个有限状态控制器
[单项选择]形式逻辑体系的建立者是（）
A. 欧几里得
B. 牛顿
C. 亚里士多德
D. 伽利略
[单项选择]非形式逻辑是在（）在西方兴起的
A. 19世纪末
B. 20世纪八十年代
C. 17世纪四十年代
D. 二十一世纪
[判断题]阿格里科拉是法国著名的数学家、物理学家、哲学家和散文家。
[填空题]1900年，德国数学家（）在巴黎国际数学家大会上提出了（）个尚未解决的数学问题，在整个二十世纪，这些问题一直激发着数学家们浓厚的研究兴趣。
[单项选择]古代朴素唯物主义把物质归结为具体的物质形态，近代形而上学唯物主义把物质归结为自然科学意义上的原子。二者都（）
A. 没有看到物质是不依赖于人的意识的
B. 认为物质是各种具体物质形态的总和
C. 没有看到物质的唯一特性是客观实在性
D. 没有认识到物质是能被人的意识所反映的
[单项选择]数学史上最多产的数学家是（）
A. 笛卡尔
B. 莱布尼茨
C. 牛顿
D. 欧拉
[单项选择]在形式逻辑领域提出“名辞说”理论的是（）。
A. 名家
B. 道家
C. 法家
D. 墨家
[单项选择]哪部著作引入形式逻辑的最简单的推理-假言推理（）
A. 《美诺篇》
B. 《荷马史诗》
C. 《推理》
D. 《众神录》
[单项选择]哈特把法律规则归结为（）
A. 一般规则与特殊规则的结合
B. 动态规则与静态规则的结合
C. 第一性规则与第二性规则的结合
D. 基本规则与宪法规则的结合
