計算機科學（英語：computer science，有時縮寫為CS）是系統性研究信息與計算的理論基礎以及它們在計算機系統中如何實現與應用的實用技術的學科。
它通常被形容為對那些創造、描述以及轉換信息的算法處理的系統研究。計算機科學包含很多分支領域；有些強調特定結果的計算，比如計算機圖形學；而有些是探討計算問題的性質，比如計算復雜性理論；
還有壹些領域專註於怎樣實現計算，比如編程語言理論是研究描述計算的方法，而程序設計是應用特定的編程語言解決特定的計算問題，人機交互則是專註於怎樣使計算機和計算變得有用、好用，以及隨時隨地為人所用。
計算機科學被認為比其它科學學科與數學的聯系更加密切，壹些觀察者說計算就是壹門數學科學。早期計算機科學受數學研究成果的影響很大，如庫爾特·哥德爾、艾倫·圖靈、路莎·彼得，阿隆佐·邱奇等數學家的研究，這兩個領域在某些學科，例如數理邏輯、範疇論、域理論和代數，也不斷有有益的思想交流。
擴展資料：
研究領域
計算機是壹種進行算術和邏輯運算的機器，而且對於由若幹臺計算機聯成的系統而言還有通信問題,並且處理的對象都是信息,因而也可以說，計算機科學是研究信息處理的科學。
計算機科學分為理論計算機科學和實驗計算機科學兩個部分。在數學文獻中所說的計算機科學，壹般是指理論計算機科學。實驗計算機科學還包括有關開辟計算機新的應用領域的研究。
計算機科學的大部分研究是基於“馮·諾依曼計算機”和“圖靈機”的，它們是絕大多數實際機器的計算模型。作為此模型的開山鼻祖，邱奇-圖靈論題（Church-Turing Thesis）表明，盡管在計算的時間，空間效率上可能有所差異，現有的各種計算設備在計算的能力上是等同的。
盡管這個理論通常被認為是計算機科學的基礎，可是科學家也研究其它種類的機器，如在實際層面上的並行計算機和在理論層面上概率計算機、oracle 計算機和量子計算機。
在這個意義上來講，計算機只是壹種計算的工具：著名的計算機科學家 Dijkstra 有壹句名言“計算機科學之關註於計算機並不甚於天文學之關註於望遠鏡。”。
參考資料：