計算機(jī)科學(xué)




計算機(jī)科學(xué)
計算機(jī)科學(xué),研究計算機(jī)及其周圍各種現(xiàn)象和規(guī)律的科學(xué),亦即研究計算機(jī)系統(tǒng)結(jié)構(gòu)、程序系統(tǒng)(即軟件)、人工智能以及計算本身的性質(zhì)和問題的學(xué)科。計算機(jī)科學(xué)是一門包含各種各樣與計算和信息處理相關(guān)主題的系統(tǒng)學(xué)科,從抽象的算法分析、形式化語法等等,到更具體的主題如編程語言、程序設(shè)計、軟件和硬件等。計算機(jī)科學(xué)分為理論計算機(jī)科學(xué)和實驗計算機(jī)科學(xué)兩個部分。后者常稱為“計算機(jī)科學(xué)”而不冠以“實驗”二字。前者有其他名稱,如計算理論、計算機(jī)理論、計算機(jī)科學(xué)基礎(chǔ)、計算機(jī)科學(xué)數(shù)學(xué)基礎(chǔ)等。數(shù)學(xué)文獻(xiàn)中一般指理論計算機(jī)科學(xué)。