計算機科學1檢視原始碼討論檢視歷史
| 計算機科學1 |
計算機科學，研究計算機及其周圍各種現象和規律的科學，亦即研究計算機系統結構、程序系統（即軟件）、人工智能以及計算本身的性質和問題的學科。計算機科學是一門包含各種各樣與計算和信息處理相關主題的系統學科，從抽象的算法分析、形式化語法等等，到更具體的主題如編程語言、程序設計、軟件和硬件等。計算機科學分為理論計算機科學和實驗計算機科學兩個部分。後者常稱為「計算機科學」而不冠以「實驗」二字。前者有其他名稱，如計算理論、計算機理論、計算機科學基礎、計算機科學數學基礎等。數學文獻中一般指理論計算機科學。
簡介
計算機科學（英語：computer science，有時縮寫為CS）是系統性研究信息與計算的理論基礎以及它們在計算機系統中如何實現與應用的實用技術的學科。它通常被形容為對那些創造、描述以及轉換信息的算法處理的系統研究。計算機科學包含很多分支領域；有些強調特定結果的計算，比如計算機圖形學；而有些是探討計算問題的性質，比如計算複雜性理論；還有一些領域專注於怎樣實現計算，比如編程語言理論是研究描述計算的方法，而程序設計是應用特定的編程語言解決特定的計算問題，人機交互則是專注於怎樣使計算機和計算變得有用、好用，以及隨時隨地為人所用。有時公眾會誤以為計算機科學就是解決計算機問題的事業（比如信息技術），或者只是與使用計算機的經驗有關，如玩遊戲、上網或者文字處理。其實計算機科學所關注的，不僅僅是去理解實現類似遊戲、瀏覽器這些軟件的程序的性質，更要通過現有的知識創造新的程序或者改進已有的程序。
評價
計算機是一種進行算術和邏輯運算的機器，而且對於由若干台計算機聯成的系統而言還有通信問題,並且處理的對象都是信息,因而也可以說，計算機科學是研究信息處理的科學。計算機科學分為理論計算機科學和實驗計算機科學兩個部分。在數學文獻中所說的計算機科學，一般是指理論計算機科學。實驗計算機科學還包括有關開闢計算機新的應用領域的研究計算機科學的大部分研究是基於「馮·諾依曼計算機」和「圖靈機」的，它們是絕大多數實際機器的計算模型。作為此模型的開山鼻祖，邱奇-圖靈論題（Church-Turing Thesis）表明，儘管在計算的時間，空間效率上可能有所差異，現有的各種計算設備在計算的能力上是等同的。儘管這個理論通常被認為是計算機科學的基礎，可是科學家也研究其它種類的機器，如在實際層面上的並行計算機和在理論層面上概率計算機、oracle 計算機和量子計算機。在這個意義上來講，計算機只是一種計算的工具：著名的計算機科學家 Dijkstra 有一句名言「計算機科學之關注於計算機並不甚於天文學之關注於望遠鏡。[1]