單項選擇題十九世紀中葉,數(shù)學(xué)家布爾成功地將形式邏輯歸結(jié)為一種代數(shù)運算;1937年數(shù)學(xué)家圖靈提出了著名的“圖靈機”模型,證明了通用數(shù)字計算機是可以制造出來的。這兩位科學(xué)家的國籍是()

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


您可能感興趣的試卷