計算機科學的研究領域

計算機是進行算術和邏輯運算的機器，而對於幾臺計算機組成的系統存在通信問題，它處理的對象都是信息，所以可以說計算機科學是研究信息處理的科學。計算機科學分為理論計算機科學和實驗計算機科學。數學文獻中提到的計算機科學壹般是指理論計算機科學。實驗計算機科學還包括開辟計算機新應用領域的研究。

計算機科學的大部分研究都是基於“馮·諾依曼計算機”和“圖靈機”，這是大部分實用機器的計算模型。作為該模型的鼻祖，丘奇-圖靈論文表明，盡管計算時間和空間效率可能存在差異，但現有的計算設備在計算能力上是等效的。雖然這壹理論被普遍認為是計算機科學的基礎，但科學家們也研究其他種類的機器，如實用層面的並行計算機和理論層面的概率計算機、甲骨文計算機和量子計算機。從這個意義上說，計算機只是壹個計算工具:著名計算機科學家Dijkstra有句名言，“計算機科學關註的是計算機而不是望遠鏡上的天文學。”。