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




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