| 描述: |
計(jì)算機(jī)科學(xué)，研究計(jì)算機(jī)及其周圍各種現(xiàn)象和規(guī)律的科學(xué)，亦即研究計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、程序系統(tǒng)（即軟件）、人工智能以及計(jì)算本身的性質(zhì)和問(wèn)題的學(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é)。 |
