- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
單項(xiàng)選擇題
十九世紀(jì)中葉，數(shù)學(xué)家布爾成功地將形式邏輯歸結(jié)為一種代數(shù)運(yùn)算；1937年數(shù)學(xué)家圖靈提出了著名的“圖靈機(jī)”模型，證明了通用數(shù)字計(jì)算機(jī)是可以制造出來的。這兩位科學(xué)家的國籍是（）
A.美國和英國
B.英國和美國
C.美國和美國
D.英國和英國
