單項(xiàng)選擇題

十九世紀(jì)中葉，數(shù)學(xué)家布爾成功地將形式邏輯歸結(jié)為一種代數(shù)運(yùn)算；1937年數(shù)學(xué)家圖靈提出了著名的“圖靈機(jī)”模型，證明了通用數(shù)字計(jì)算機(jī)是可以制造出來的。這兩位科學(xué)家的國(guó)籍是（）

A.美國(guó)和英國(guó)
B.英國(guó)和美國(guó)
C.美國(guó)和美國(guó)
D.英國(guó)和英國(guó)

微信掃碼免費(fèi)搜題