計算機科學是一門包含各種各樣與計算和信息處理相關主題的系統學科，從抽象的算法分析、形式化語法等等，到更具體的主題如程式語言、程序設計、軟體和硬體等。作為一門學科，它與數學、電腦程式設計、軟體工程和計算機工程有顯著的不同，卻通常被混淆，儘管這些學科之間存在不同程度的交叉和覆蓋。截至目前，計算機科學的研究大部分是基於「馮·諾依曼計算機」和「圖靈機」的，因為它們是許多實際機器的模型。科學家也研究其它種類的機器，如在實際層面上的並行計算機和量子計算機和在理論層面上random和oracle計算機。
