計(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ì)、軟件和硬件等。作為一門學(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ù)庫(kù))；

程序如何顯得更具有智能(人工智能)；

人類如何與程序溝通(人機(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è)意義上來(lái)講，計(jì)算機(jī)只是一種計(jì)算的工具：著名的計(jì)算機(jī)科學(xué)家 Dijkstra 有一句名言“計(jì)算機(jī)科學(xué)之關(guān)注于計(jì)算機(jī)并不甚于天文學(xué)之關(guān)注于望遠(yuǎn)鏡。”。

相關(guān)條目

參考資源

總結(jié)

以上是生活随笔為你收集整理的计算机科学的大部分研究是基于,计算机科学的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。