單項選擇題圖靈在計算機科學方面的主要貢獻有兩個:一是建立圖靈機模型,奠定了()理論的基礎;二是提出圖靈測試,闡述了機器智能的概念。

A.可計算
B.可推導
C.可進化
D.可預知