十九世纪中叶，数学家布尔成功地将形式逻辑归结为一种代数运算；

【名词&注释】

形式逻辑(formal logic)、科学家(scientist)、激光打印机(laser printer)、数学家(mathematician)、十九世纪中叶、图灵机(turing machine)、数字计算机(digital computer)、随机存取存储器(random access memory)

[单选题]十九世纪中叶，数学家布尔成功地将形式逻辑归结为一种代数运算；1937年数学家图灵提出了著名的“图灵机^{(turing machine)}”模型，证明了通用数字计算机^{(digital computer)}是可以制造出来的。这两位科学家的国籍是（）

A. 美国和英国
B. 英国和美国
C. 美国和美国
D. 英国和英国

查看答案&解析 查看所有试题

学习资料：

[单选题]下面关于ROM、RAM的叙述中，正确的是（）.

A. ROM在系统工作时既能读又能写
B. ROM芯片掉电后，存放在芯片中的内容会丢失
C. RAM是随机存取存储器^{(random access memory)}
D. RAM芯片掉电后，存放在芯片中的内容不会丢失

[单选题]激光打印机的打印速度PPM是指（）

A. 每分钟打印的字数
B. 每分钟打印的行数
C. 每分钟打印的页数
D. 每英寸的打印点数

本文链接：https://www.51bdks.net/show/zr0z4o.html