科學(xué)領(lǐng)域

作為一個(gè)學(xué)科，計算機科學(xué)涵蓋了從算法的理論研究和計算的極限，到如何通過(guò)硬件和軟件實(shí)現計算系統。CSAB（以前被叫做Computing Sciences Accreditation Board），由Association for Computing Machinery（ACM）和IEEE Computer Society（IEEE-CS）的代表組成，確立了計算機科學(xué)學(xué)科的4個(gè)主要領(lǐng)域：計算理論，算法與數據結構，編程方法與編程語(yǔ)言，以及計算機元素與架構。CSAB還確立了其它一些重要領(lǐng)域，如軟件工程，人工智能，計算機網(wǎng)絡(luò )與通信，數據庫系統，并行計算，分布式計算，人機交互，機器翻譯，計算機圖形學(xué)，操作系統，以及數值和符號計算。

簡(jiǎn)介

計算機科學(xué)（英語(yǔ)：computer?science，有時(shí)縮寫(xiě)為CS）是系統性研究信息與計算的理論基礎以及它們在計算機系統中如何實(shí)現與應用的實(shí)用技術(shù)的學(xué)科。它通常被形容為對那些創(chuàng )造、描述以及轉換信息的算法處理的系統研究。計算機科學(xué)包含很多分支領(lǐng)域；有些強調特定結果的計算，比如計算機圖形學(xué)；而有些是探討計算問(wèn)題的性質(zhì)，比如計算復雜性理論；還有一些領(lǐng)域專(zhuān)注于怎樣實(shí)現計算，比如編程語(yǔ)言理論是研究描述計算的方法，而程序設計是應用特定的編程語(yǔ)言解決特定的計算問(wèn)題，人機交互則是專(zhuān)注于怎樣使計算機和計算變得有用、好用，以及隨時(shí)隨地為人所用。

主條目：理論計算機科學(xué)

廣義的理論計算機科學(xué)包括經(jīng)典的計算理論和其它專(zhuān)注于更抽象、邏輯與數學(xué)方面的計算。

主條目：計算理論

按照Peter J. Denning的說(shuō)法，計算機科學(xué)的最根本問(wèn)題是“什么能夠被有效地自動(dòng)化？”計算理論的研究就是專(zhuān)注于回答這個(gè)根本問(wèn)題，關(guān)于什么能夠被計算，去實(shí)施這些計算又需要用到多少資源。為了試圖回答第一個(gè)問(wèn)題，遞歸論檢驗在多種理論計算模型中哪個(gè)計算問(wèn)題是可解的。而計算復雜性理論則被用于回答第二個(gè)問(wèn)題，研究解決一個(gè)不同目的的計算問(wèn)題的時(shí)間與空間消耗。

著(zhù)名的“P=NP?”問(wèn)題，千禧年大獎難題之一，是計算理論的一個(gè)開(kāi)放問(wèn)題。

主條目：信息論和編碼理論

信息論與信息量化相關(guān)，由Claude E. Shannon創(chuàng )建，用于尋找信號處理操作的根本極限，比如壓縮數據和可靠的數據存儲與通訊。編碼理論是對編碼以及它們適用的特定應用性質(zhì)的研究。編碼（code）被用于數據壓縮，密碼學(xué)，前向糾錯，也被用于網(wǎng)絡(luò )編碼。研究編碼的目的在于設計更高效、可靠的數據傳輸方法。

算法指定義良好的計算過(guò)程，它取一個(gè)或一組值作為輸入，經(jīng)過(guò)一系列定義好的計算過(guò)程，得到一個(gè)或一組輸出。算法是計算機科學(xué)研究的一個(gè)重要領(lǐng)域，也是許多其他計算機科學(xué)技術(shù)的基礎。算法主要包括數據結構、計算幾何、圖論等。除此之外，算法還包括許多雜項，如模式匹配、部分數論等。

主條目：程序設計語(yǔ)言理論

程序設計語(yǔ)言理論是計算機科學(xué)的一個(gè)分支，主要處理程序設計語(yǔ)言的設計、實(shí)現、分析、描述和分類(lèi)，以及它們的個(gè)體特性。它屬于計算機科學(xué)學(xué)科，既受影響于也影響著(zhù)數學(xué)、軟件工程和語(yǔ)言學(xué)。它是公認的計算機科學(xué)分支，同時(shí)也是活躍的研究領(lǐng)域，研究成果被發(fā)表在眾多學(xué)術(shù)期刊，計算機科學(xué)以及工程出版物。

主條目：形式化方法

形式化方法是一種特別的基于數學(xué)的技術(shù)，用于軟件和硬件系統的形式規范、開(kāi)發(fā)以及形式驗證。在軟件和硬件設計方面，形式化方法的使用動(dòng)機，如同其它工程學(xué)科，是通過(guò)適當的數學(xué)分析便有助于設計的可靠性和健壯性的期望。但是，使用形式化方法會(huì )帶來(lái)很高的成本，意味著(zhù)它們通常只用于高可靠性系統，這種系統中安全或保安（security）是最重要的。對于形式化方法的最佳形容是各種理論計算機科學(xué)基礎種類(lèi)的應用，特別是計算機邏輯演算，形式語(yǔ)言，自動(dòng)機理論和形式語(yǔ)義學(xué)，此外還有類(lèi)型系統、代數數據類(lèi)型，以及軟件和硬件規范和驗證中的一些問(wèn)題。

主條目：并行性和分布式計算

并行性（concurrency）是系統的一種性質(zhì)，這類(lèi)系統可以同時(shí)執行多個(gè)可能互相交互的計算。一些數學(xué)模型，如Petri網(wǎng)、進(jìn)程演算和PRAM模型，被創(chuàng )建以用于通用并發(fā)計算。分布式系統將并行性的思想擴展到了多臺由網(wǎng)絡(luò )連接的計算機。同一分布式系統中的計算機擁有自己的私有內存，它們之間經(jīng)常交換信息以達到一個(gè)共同的目的。

主條目：數據庫和數據庫管理系統

數據庫是為了更容易地組織、存儲和檢索大量數據。數據庫由數據庫管理系統管理，通過(guò)數據庫模型和查詢(xún)語(yǔ)言來(lái)存儲、創(chuàng )建、維護和搜索數據。

盡管計算機科學(xué)（computer science）的名字里包含計算機這幾個(gè)字，但實(shí)際上計算機科學(xué)相當數量的領(lǐng)域都不涉及計算機本身的研究。因此，一些新的名字被提議出來(lái)。某些重點(diǎn)大學(xué)的院系傾向于術(shù)語(yǔ)計算科學(xué)（computing science），以精確強調兩者之間的不同。丹麥科學(xué)家Peter Naur建議使用術(shù)語(yǔ)"datalogy"，以反映這一事實(shí)，即科學(xué)學(xué)科是圍繞著(zhù)數據和數據處理，而不一定要涉及計算機。第一個(gè)使用這個(gè)術(shù)語(yǔ)的科學(xué)機構是哥本哈根大學(xué)Datalogy學(xué)院，該學(xué)院成立于1969年，Peter Naur便是第一任教授。這個(gè)術(shù)語(yǔ)主要被用于北歐國家。同時(shí)，在計算技術(shù)發(fā)展初期，《ACM通訊》建議了一些針對計算領(lǐng)域從業(yè)人員的術(shù)語(yǔ)：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。三個(gè)月后在同樣的期刊上，comptologist被提出，第二年又變成了hypologist。術(shù)語(yǔ)computics也曾經(jīng)被提議過(guò)。在歐洲大陸，起源于信息（information）和數學(xué)或者自動(dòng)（automatic）的名字比起源于計算機或者計算（computation）更常見(jiàn)，如informatique（法語(yǔ)），Informatik（德語(yǔ)），informatika（斯拉夫語(yǔ)族）。

著(zhù)名計算機科學(xué)家Edsger Dijkstra曾經(jīng)指出：“計算機科學(xué)并不只是關(guān)于計算機，就像天文學(xué)并不只是關(guān)于望遠鏡一樣?！保?Computer science is no more about computers than astronomy is about telescopes."）設計、部署計算機和計算機系統通常被認為是非計算機科學(xué)學(xué)科的領(lǐng)域。例如，研究計算機硬件被看作是計算機工程的一部分，而對于商業(yè)計算機系統的研究和部署被稱(chēng)為信息技術(shù)或者信息系統。然而，現如今也越來(lái)越多地融合了各類(lèi)計算機相關(guān)學(xué)科的思想。計算機科學(xué)研究也經(jīng)常與其它學(xué)科交叉，比如心理學(xué)，認知科學(xué)，語(yǔ)言學(xué)，數學(xué)，物理學(xué)，統計學(xué)和經(jīng)濟學(xué)。

計算機科學(xué)被認為比其它科學(xué)學(xué)科與數學(xué)的聯(lián)系更加密切，一些觀(guān)察者說(shuō)計算就是一門(mén)數學(xué)科學(xué)。早期計算機科學(xué)受數學(xué)研究成果的影響很大，如Kurt G?del和Alan Turing，這兩個(gè)領(lǐng)域在某些學(xué)科，例如數理邏輯、范疇論、域理論和代數，也不斷有有益的思想交流。

計算機科學(xué)和軟件工程的關(guān)系是一個(gè)有爭議的話(huà)題，隨后關(guān)于什么是“軟件工程”，計算機科學(xué)又該如何定義的爭論使得情況更加混亂。David Parnas從其它工程和科學(xué)學(xué)科之間的關(guān)系得到啟示，宣稱(chēng)計算機科學(xué)的主要重點(diǎn)總的來(lái)說(shuō)是研究計算的性質(zhì)，而軟件工程的主要重點(diǎn)是具體的計算設計，以達到實(shí)用的目的，這樣便構成了兩個(gè)獨立但又互補的學(xué)科。

主條目：人工智能

這個(gè)計算機科學(xué)分支旨在創(chuàng )造可以解決計算問(wèn)題，以及像動(dòng)物和人類(lèi)一樣思考與交流的人造系統。無(wú)論是在理論還是應用上，都要求研究者在多個(gè)學(xué)科領(lǐng)域具備細致的、綜合的專(zhuān)長(cháng)，比如應用數學(xué)，邏輯，符號學(xué)，電機工程學(xué)，精神哲學(xué)，神經(jīng)生理學(xué)和社會(huì )智力，用于推動(dòng)智能研究領(lǐng)域，或者被應用到其它需要計算理解與建模的學(xué)科領(lǐng)域，如金融或是物理科學(xué)。人工智能領(lǐng)域開(kāi)始變得正式源于A(yíng)lan Turing這位人工智能先驅提出了圖靈試驗，以回答這樣一個(gè)終極問(wèn)題：“計算機能夠思考嗎？”

主條目：機器翻譯

1947年，美國數學(xué)家、工程師沃倫·韋弗與英國物理學(xué)家、工程師安德魯·布思提出了以計算機進(jìn)行翻譯（簡(jiǎn)稱(chēng)“機譯”）的設想，機器翻譯從此步入歷史舞臺，并走過(guò)了一條曲折而漫長(cháng)的發(fā)展道路。機譯被列為21世紀世界十大科技難題。與此同時(shí)，機譯技術(shù)也擁有巨大的應用需求。

機譯消除了不同文字和語(yǔ)言間的隔閡，堪稱(chēng)高科技造福人類(lèi)之舉。但機譯的譯文質(zhì)量長(cháng)期以來(lái)一直是個(gè)問(wèn)題，離理想目標仍相差甚遠。中國數學(xué)家、語(yǔ)言學(xué)家周海中教授認為，在人類(lèi)尚未明了大腦是如何進(jìn)行語(yǔ)言的模糊識別和邏輯判斷的情況下，機譯要想達到“信、達、雅”的程度是不可能的。這一觀(guān)點(diǎn)恐怕道出了制約譯文質(zhì)量的瓶頸所在。

主條目：計算機體系結構和計算機工程

計算機系統結構，或者數字計算機組織，是一個(gè)計算機系統的概念設計和根本運作結構。它主要側重于CPU的內部執行和內存訪(fǎng)問(wèn)地址。這個(gè)領(lǐng)域經(jīng)常涉及計算機工程和電子工程學(xué)科，選擇和互連硬件組件以創(chuàng )造滿(mǎn)足功能、性能和成本目標的計算機。

主條目：計算機圖形學(xué)

計算機圖形學(xué)是對于數字視覺(jué)內容的研究，涉及圖像數據的合成和操作。它跟計算機科學(xué)的許多其它領(lǐng)域密切相關(guān)，包括計算機視覺(jué)、圖像處理和計算幾何，同時(shí)也被大量運用在特效和電子游戲。

主條目：計算機安全和密碼學(xué)

計算機安全是計算機技術(shù)的一個(gè)分支，其目標包括保護信息免受未經(jīng)授權的訪(fǎng)問(wèn)、中斷和修改，同時(shí)為系統的預期用戶(hù)保持系統的可訪(fǎng)問(wèn)性和可用性。密碼學(xué)是對于隱藏（加密）和破譯（解密）信息的實(shí)踐與研究?，F代密碼學(xué)主要跟計算機科學(xué)相關(guān)，很多加密和解密算法都是基于它們的計算復雜性。

計算科學(xué)（或者科學(xué)計算）是關(guān)注構建數學(xué)模型和量化分析技術(shù)的研究領(lǐng)域，同時(shí)通過(guò)計算機分析和解決科學(xué)問(wèn)題。在實(shí)際使用中，它通常是計算機模擬和計算等形式在各個(gè)科學(xué)學(xué)科問(wèn)題中的應用。

主條目：信息科學(xué)

主條目：軟件工程

軟件工程是對于設計、實(shí)現和修改軟件的研究，以確保軟件的高質(zhì)量、適中的價(jià)格、可維護性，以及能夠快速構建。它是一個(gè)系統的軟件設計方法，涉及工程實(shí)踐到軟件的應用。

獎項

計算機科學(xué)領(lǐng)域的最高榮譽(yù)是ACM設立的圖靈獎，被譽(yù)為是計算機科學(xué)的諾貝爾獎。它的獲得者都是本領(lǐng)域最為出色的科學(xué)家和先驅。華人中首獲圖靈獎的是姚期智先生。他于2000年以其對計算理論做出的諸多“根本性的、意義重大的”貢獻而獲得這一崇高榮譽(yù)。

專(zhuān)業(yè)院校

美國開(kāi)設計算機科學(xué)專(zhuān)業(yè)的院校

普渡大學(xué)西拉法葉分校，弗吉尼亞大學(xué)，密西根大學(xué)安娜堡分校，喬治城大學(xué)，維克森林大學(xué)，耶魯大學(xué)，哥倫比亞大學(xué)，華盛頓大學(xué)，卡內基梅隆大學(xué)，佐治亞理工學(xué)院，加州理工學(xué)院，麻省理工學(xué)院，斯坦福大學(xué)，加州大學(xué)伯克利分校，伊利諾伊大學(xué)香檳分校，威斯康星大學(xué)麥迪遜分校，倫斯勒理工學(xué)院，哈佛大學(xué)，俄勒岡大學(xué)。

著(zhù)名高校

在計算機科學(xué)領(lǐng)域排名世界前五的大學(xué)：

1. Carnegie Mellon University卡內基梅隆大學(xué)

2. Massachusetts Institute of Technology麻省理工學(xué)院

3. Stanford University斯坦福大學(xué)

4. University of California -Berkeley加州大學(xué)伯克利分校

5. Cornell University康奈爾大學(xué)

5. University of Illinois-Urbana Champaign伊利諾伊大學(xué)香檳分校

專(zhuān)業(yè)介紹

本專(zhuān)業(yè)培養德、智、體全面發(fā)展，具有計算機應用技術(shù)的基礎理論知識，具備計算機及相關(guān)設備的維護與維修、行業(yè)應用軟件、平面圖像處理、廣告設計制作、動(dòng)畫(huà)制作、計算機網(wǎng)絡(luò )及網(wǎng)站建設與管理、數據庫管理與維護等應用能力和操作能力的高等技術(shù)應用性人才。

計算機應用基礎、計算機組裝與維護、計算機局域網(wǎng)絡(luò )的建設與管理、網(wǎng)絡(luò )工程、操作系統、服務(wù)器、數據庫的開(kāi)發(fā)與應用、網(wǎng)站建設與網(wǎng)頁(yè)設計、C/C++語(yǔ)言、VisualBasic語(yǔ)言、平面設計、3D圖形設計、多媒體設計、專(zhuān)業(yè)英語(yǔ)。

畢業(yè)生主要面向交通系統各單位、交通信息化與電子政務(wù)建設與應用部門(mén)、各類(lèi)計算機專(zhuān)業(yè)化公司、廣告設計制作公司、汽車(chē)營(yíng)銷(xiāo)技術(shù)服務(wù)等從事IT行業(yè)工作。

研究課題

①、計算機程序能做什么和不能做什么（可計算性）；

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

③、程序如何存取不同類(lèi)型的數據（數據結構和數據庫）；

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

⑤、人類(lèi)如何與程序溝通（人機互動(dòng)和人機界面）。?

系統分類(lèi)

計算機系統可劃分為軟件系統與硬件系統兩大類(lèi)。

硬件

結構控制和指令系統

算法和邏輯結構

存儲器結構

馮·諾伊曼結構

哈佛結構

輸入/輸出和數據通信

數字邏輯

邏輯設計

集成電路

計算機系統組織

計算機系統結構

計算機網(wǎng)絡(luò )

分布式計算

網(wǎng)絡(luò )安全

計算機系統實(shí)現

軟件

系統軟件

操作系統

編譯器

應用軟件

計算機游戲

辦公自動(dòng)化

網(wǎng)絡(luò )軟件

CAD軟件

計算機程序

程序設計和程序設計實(shí)踐

面向對象技術(shù)

程序設計語(yǔ)言

軟件工程

軟件復用

驅動(dòng)程序

計算機模擬

程序設計方法學(xué)

數據和信息系統

數據結構

數據存儲表示

數據加密

數據壓縮

編碼與信息論

文件

信息系統

管理信息系統

決策支持系統- 專(zhuān)家系統

數據庫

信息存儲和數據存取

信息交互與表達

主要的研究領(lǐng)域

形式化基礎

邏輯學(xué)

謂詞邏輯

模態(tài)邏輯

時(shí)序邏輯

描述邏輯

數學(xué)

泛代數

遞歸論

模型論

概率論和數理統計

邏輯代數

布爾代數

離散數學(xué)

組合數學(xué)

圖論

網(wǎng)論

信息論

理論計算機科學(xué)

形式語(yǔ)言

自動(dòng)機

可計算性

算法

計算復雜性

描述復雜性

編譯器

程序設計理論

信息論

類(lèi)型理論

指稱(chēng)語(yǔ)義

微程序

遺傳算法

并行計算

計算方法學(xué)

人工智能

機器翻譯

計算機圖形學(xué)

圖像處理與計算機視覺(jué)

模式識別

語(yǔ)音識別

文字識別

簽名識別

人臉識別

指紋識別

仿真與建模

數字信號處理

文檔與文本處理

計算機應用

數值計算

數值分析

定理機器證明

計算機代數

工程計算

計算機化學(xué)

計算機物理

生物信息論

計算生物學(xué)

非數值計算

工廠(chǎng)自動(dòng)化

辦公室自動(dòng)化

人工智能

信息存儲與檢索

符號語(yǔ)言處理

計算機輔助科學(xué)

計算機輔助設計

計算機輔助教學(xué)

計算機輔助管理

計算機輔助軟件工程

機器人學(xué)

多媒體技術(shù)

人機交互

電子商務(wù)

特定技術(shù)

測試基準

機器視覺(jué)

數據壓縮

軟件設計模式

數字信號處理

文件格式

信息安全

國際互聯(lián)網(wǎng)絡(luò )

超大規模集成電路設計

網(wǎng)絡(luò )傳輸協(xié)議

網(wǎng)絡(luò )處理器技術(shù)

整數運算器

浮點(diǎn)運算器

矩陣運算處理器

網(wǎng)格

計算科學(xué)史

計算機歷史

軟件業(yè)歷史

編程思想??

學(xué)科

計算機科學(xué)與另外的一些學(xué)科緊密相關(guān)。這些學(xué)科之間有明顯的交叉領(lǐng)域，但也有明顯的差異。

信息科學(xué) - 軟件工程 - 信息系統 - 計算機工程 - 信息安全 -密碼學(xué)- 數學(xué) -工程學(xué)- 語(yǔ)言學(xué) - 邏輯學(xué)

發(fā)展歷史

計算機科學(xué)中的理論部分在第一臺數字計算機出現以前就已存在。計算機科學(xué)根植于電子工程、數學(xué)和語(yǔ)言學(xué)，是科學(xué)、工程和藝術(shù)的結晶。它在20世紀最后的三十年間興起成為一門(mén)獨立的學(xué)科，并發(fā)展出自己的方法與術(shù)語(yǔ)。?

30年代

英國數學(xué)家A.M.圖靈和美國數學(xué)家E.L.波斯特幾乎同時(shí)提出了理想計算機的概念（圖靈提出的那種理想機在后來(lái)的文獻中稱(chēng)為圖靈機）。?

40年代

數字計算機產(chǎn)生后，計算技術(shù)（即計算機設計技術(shù)與程序設計技術(shù)）和有關(guān)計算機的理論研究開(kāi)始得到發(fā)展。這方面構成了所說(shuō)的理論計算機科學(xué)。至于圖靈機理論，則可以看作是這一學(xué)科形成前的階段。至于“計算機科學(xué)”一詞則到60年代初才出現，此后各國始在大學(xué)中設置計算機科學(xué)系。學(xué)科內容 計算機科學(xué)是一門(mén)年輕的科學(xué)，它究竟包括哪些內容,還沒(méi)有一致公認的看法。一般認為,計算機科學(xué)主要包括理論計算機科學(xué)、計算機系統結構、軟件工程的一部分和人工智能。理論計算機科學(xué) 理論計算機科學(xué)是在20世紀30年代發(fā)展起來(lái)的。40年代機電的與電子的計算機出現后，關(guān)于現實(shí)計算機及其程序的數學(xué)模型性質(zhì)的研究以及計算復雜性(早期稱(chēng)作計算難度)的研究迅速發(fā)展起來(lái)，形成自動(dòng)機論、形式語(yǔ)言理論、程序設計理論、算法設計與分析和計算復雜性理論幾個(gè)領(lǐng)域。計算機系統結構?

50年代

50年代以來(lái)，計算機的性能在計算速度和編址空間方面已提高了幾個(gè)數量級。但大部分是通過(guò)元件更新而獲得的。在系統結構方面基本上仍是屬于40年代后期形成的存儲程序型，即所謂諾伊曼型機器。這種結構的主要特點(diǎn)是它屬于控制流型。在這種結構中，一項計算先做什么后做什么是事先確定了的，程序中指令的順序是事先確定了的。為了在計算機的性能方面取得大的進(jìn)展，需要突破這種舊的形式。計算機系統結構方面的重要課題之一，是探索非諾伊曼型機器的設計思想。在非諾伊曼型機器中，有一種是70年代初提出的數據流機器（又名數據驅動(dòng)機器）。美國、蘇聯(lián)和英國都已制成這種機器。這種機器的特點(diǎn)是，在一項計算中先做什么后做什么不是事先確定，所執行的指令是動(dòng)態(tài)排序的。排序的原則是操作數已準備就緒的先做，因而稱(chēng)作數據驅動(dòng)機器。這種類(lèi)型的機器更便于實(shí)現并行計算。軟件工程 程序設計在相當長(cháng)的時(shí)間內是一種類(lèi)似“手藝”而不是類(lèi)似現代工程的技術(shù)。?

60年代

60年代以來(lái)出現了大程序。這些大程序的可靠性很難保證。到60年代后期，西方國家出現了“軟件危機”。這是指有些程序過(guò)于龐大（包含幾十萬(wàn)條以至幾百萬(wàn)條指令），成本過(guò)高而可靠性則比較差。于是提出了軟件工程的概念，目的在于使軟件開(kāi)發(fā)遵守嚴格的規范，使用一套可靠的方法，從而保證質(zhì)量?，F代軟件工程的方向是形式化和自動(dòng)化，而形式化的目的在于自動(dòng)化。這里所說(shuō)的自動(dòng)化就是將程序設計中可以由機器來(lái)完成的工作，盡量交給機器去做。中心課題之一是程序工具和環(huán)境的研究。程序工具是指輔助人編程序的程序，如編譯程序、編輯程序、排錯程序等；程序環(huán)境則是指一套結合起來(lái)使用的用來(lái)輔助人編程序的程序工具。人工智能 用計算機模擬人的智能，特別是模擬思維活動(dòng)的技術(shù)及其有關(guān)理論。由于人的思維活動(dòng)離不開(kāi)語(yǔ)言,而且人對于某一類(lèi)問(wèn)題進(jìn)行思索和探索解法時(shí),總是需要以關(guān)于這一類(lèi)問(wèn)題的基本知識(專(zhuān)業(yè)知識或常識)作為出發(fā)點(diǎn)。于是，知識表示和機器對自然語(yǔ)言的理解就構成人工智能的兩個(gè)重要領(lǐng)域。所謂知識表示，是指將原來(lái)用自然語(yǔ)言表示的知識轉換成用符號語(yǔ)言表示的，從而可以?xún)Υ嬖跈C器內供機器使用的知識。人工智能的研究角度有探索法的角度和算法的角度。通常所說(shuō)的解題算法是指機械的和總是有結果的方法，而這里所說(shuō)的算法卻是廣義的，包括那些機械的而在使用時(shí)不一定有結果的算法。這種方法時(shí)常稱(chēng)作半可判定的方法。?

人在解決問(wèn)題時(shí)，時(shí)常采用探索法。這種方法具有“試錯法”的性質(zhì)，也就是說(shuō)，試驗若干條途徑，一條路走不通時(shí)再試另一條，直到問(wèn)題得到解決時(shí)為止。機器可以模擬人用探索法解題的思維活動(dòng)。但由于可能途徑的數目非常之大，不可能進(jìn)行窮舉式的探索。人一般是只選出一些最有希望得到結果的途徑去進(jìn)行探索。人的這種能力，就是進(jìn)行創(chuàng )造性思維的能力。這是機器極難模擬的事情。采用算法角度，使用特定的解題算法或半可判定的方法時(shí)，會(huì )遇到另一方面的困難。那就是當問(wèn)題的復雜程度較高時(shí)（比如說(shuō)是指數的），即使問(wèn)題是有結果的，機器也無(wú)法在實(shí)際可行的時(shí)間內得到結果。在計算機出現的初期，人們曾寄希望于機器的高速度，以為在模擬人的思維時(shí)，機器可能用它的高速度來(lái)?yè)Q取它所不具有的創(chuàng )造性思維。但通過(guò)“組合性爆炸”問(wèn)題（“組合性爆炸”是指一些組合數學(xué)中的問(wèn)題，在參數增大時(shí)，計算時(shí)間的增長(cháng)率時(shí)常是指數的，甚至高于指數），人們認識到，單純靠速度不能繞過(guò)組合性爆炸所產(chǎn)生的障礙。有無(wú)辦法來(lái)克服這種困難，尚有待于進(jìn)一步研究。與其他學(xué)科的關(guān)系 計算機是由物理元件構成的,迄今主要是由電子元件構成的。因此，物理學(xué)的一些分支和電子工程便構成計算機科學(xué)的基礎。同時(shí)，計算機科學(xué)在一定意義上是算法的科學(xué)，而算法是一個(gè)數學(xué)概念。因此，數學(xué)的某些分支如算法理論（即可算性理論，又名遞歸函數論）也構成計算機科學(xué)的基礎。但計算機科學(xué)已發(fā)展成為一門(mén)獨立的技術(shù)科學(xué)，既不是電子學(xué)的一個(gè)分支，也不是數學(xué)的一個(gè)分支。這是就這個(gè)學(xué)科的整體而言。至于理論計算機科學(xué)，由于它可以看作是計算機科學(xué)的數學(xué)基礎，在一定意義上，可以看作是數學(xué)的一個(gè)分支。另一個(gè)與計算機科學(xué)有密切關(guān)系的學(xué)科是控制論?？刂普撟鳛閼脭祵W(xué)方法來(lái)研究機械系統和生命系統中的控制和通信現象的學(xué)科，同計算機科學(xué)有內容上的交叉，但后者不是它的一部分。自從40年代制成數字計算機以來(lái)，計算機的性能有了很大的提高。但在系統結構方面變化不大。一些計算技術(shù)發(fā)達國家正在研制新一代的計算機。這種計算機的系統結構將與過(guò)去40年的機器很不相同，所用的程序設計語(yǔ)言也將是新型的。計算機科學(xué)將研究由此出現的新問(wèn)題，如有關(guān)并行計算的問(wèn)題。?

對計算的數學(xué)性質(zhì)的研究大都還是關(guān)于串行計算的，對并行計算性質(zhì)的研究自70年代才發(fā)展起來(lái)，預計將成為計算機科學(xué)的中心課題之一。另一個(gè)問(wèn)題是程序設計的自動(dòng)化問(wèn)題。在程序設計方面，明顯的趨勢是將機器能做的盡量交給機器去做。程序環(huán)境的研究構成了軟件工程的一個(gè)中心課題。形式化方法越來(lái)越受到重視，因為它是提高自動(dòng)化程度所必需的。?

早期，雖然英國的劍橋大學(xué)和其他大學(xué)已經(jīng)開(kāi)始教授計算機科學(xué)課程，但它只被視為數學(xué)或工程學(xué)的一個(gè)分支，并非獨立的學(xué)科。劍橋大學(xué)聲稱(chēng)有世界上第一個(gè)傳授計算的資格。世界上第一個(gè)計算機科學(xué)系是由美國的普渡大學(xué)在1962年設立，第一個(gè)計算機學(xué)院于1980年由美國的東北大學(xué)設立。多數大學(xué)都把計算機科學(xué)系列為獨立的部門(mén)，一部分將它與工程系、應用數學(xué)系或其他學(xué)科聯(lián)合。