(1)【◆题库问题◆】： 任何程序设计语言编写的程序都可以转换成图灵机实现A．正确B．错误 【◆参考答案◆】：正确 (2)【◆题库问题◆】： 计算机辅助设计其英文首字母缩写是（）。A．CADB．CAI...

(1)【◆题库问题◆】： 十九世纪中叶，数学家布尔成功地将形式逻辑归结为一种代数运算；1937年数学家图灵提出了著名的“图灵机”模型，证明了通用数字计算机是可以制造出来的。这两位科学家的国籍是（）A．...