計(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é)科，從抽象的算法分析、形式化語法等等，到更具體的主題如編程語言、程序設(shè)計(jì)、軟件和硬件等。作為一門學(xué)科，它與數(shù)學(xué)、計(jì)算機(jī)程序設(shè)計(jì)、軟件工程和計(jì)算機(jī)工程有顯著的不同，卻通常被混淆，盡管這些學(xué)科之間存在不同程度的交叉和覆蓋。

研究課題

計(jì)算機(jī)科學(xué)研究的課題是：

計(jì)算機(jī)程序能做什么和不能做什么（可計(jì)算性）；

如何使程序更高效的執(zhí)行特定任務(wù)（算法和復(fù)雜性理論）；

程序如何存取不同類型的數(shù)據(jù)（數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)庫）；

程序如何顯得更具有智能（人工智能）；

人類如何與程序溝通（人機(jī)互動(dòng)和人機(jī)界面）。

計(jì)算機(jī)科學(xué)的大部分研究是基于“馮·諾依曼計(jì)算機(jī)”和“圖靈機(jī)”的，它們是絕大多數(shù)實(shí)際機(jī)器的計(jì)算模型。作為此模型的開山鼻祖，邱奇-圖靈論題（Church-Turing Thesis）表明，盡管在計(jì)算的時(shí)間，空間效率上可能有所差異，現(xiàn)有的各種計(jì)算設(shè)備在計(jì)算的能力上是等同的。盡管這個(gè)理論通常被認(rèn)為是計(jì)算機(jī)科學(xué)的基礎(chǔ)，可是科學(xué)家也研究其它種類的機(jī)器，如在實(shí)際層面上的并行計(jì)算機(jī)和在理論層面上概率計(jì)算機(jī)、oracle 計(jì)算機(jī)和量子計(jì)算機(jī)。在這個(gè)意義上來講，計(jì)算機(jī)只是一種計(jì)算的工具：著名的計(jì)算機(jī)科學(xué)家 Dijkstra 有一句名言“計(jì)算機(jī)科學(xué)之關(guān)注于計(jì)算機(jī)并不甚于天文學(xué)之關(guān)注于望遠(yuǎn)鏡?！薄?

相關(guān)條目

• 計(jì)算機(jī)
• 互聯(lián)網(wǎng)

參考資源

參考資源