計算機科學即指研究計算機及其周圍各種現象和規律的科學，亦即研究計算機系統結構、程序系統(即軟件)、人工智能以及計算本身的性質和問題的學科。計算機科學是一門包含各種各樣與計算和信息處理相關主題的系統學科，從抽象的算法分析、形式化語法等等，到更具體的主題如編程語言、程序設計、軟件和硬件等。作為一門學科，它與數學、計算機程序設計、軟件工程和計算機工程有顯著的不同，卻通常被混淆，盡管這些學科之間存在不同程度的交叉和覆蓋。

研究課題

計算機科學研究的課題是：

計算機程序能做什么和不能做什么(可計算性)；

如何使程序更高效的執行特定任務(算法和復雜性理論)；

程序如何存取不同類型的數據(數據結構和數據庫)；

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

人類如何與程序溝通(人機互動和人機界面)。

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

相關條目

參考資源

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。