電腦科學是幹什麼的

電腦科學是研究計算機及其周圍各種現象和規律的科學，亦即研究計算機系統結構、程式系統（即軟體）、人工智慧以及計算本身的性質和問題的學科。電腦科學是一門包含各種各樣與計算和資訊處理相關主題的系統學科，從抽象的演算法分析、形式化語法等等，到更具體的主題如程式設計語言、程式設計、軟體和硬體等。電腦科學分為理論電腦科學和實驗電腦科學兩個部分。後者常稱為“電腦科學”而不冠以“實驗”二字。前者有其他名稱，如計算理論、計算機理論、電腦科學基礎、電腦科學數學基礎等。數學文獻中一般指理論電腦科學。