計(jì)算機(jī)是一種進(jìn)行算術(shù)和邏輯運(yùn)算的機(jī)器，而且對(duì)于由若干臺(tái)計(jì)算機(jī)聯(lián)成的系統(tǒng)而言還有通信問題,并且處理的對(duì)象都是信息,因而也可以說，計(jì)算機(jī)科學(xué)是研究信息處理的科學(xué)。計(jì)算機(jī)科學(xué)分為理論計(jì)算機(jī)科學(xué)和實(shí)驗(yàn)計(jì)算機(jī)科學(xué)兩個(gè)部分。

　　在數(shù)學(xué)文獻(xiàn)中所說的計(jì)算機(jī)科學(xué)，一般是指理論計(jì)算機(jī)科學(xué)。實(shí)驗(yàn)計(jì)算機(jī)科學(xué)還包括有關(guān)開辟計(jì)算機(jī)新的應(yīng)用領(lǐng)域的研究。

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

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

　　理論計(jì)算機(jī)

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

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

　　計(jì)算理論

　　主條目：計(jì)算理論

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

　　著名的“P=NP?”問題，千禧年大獎(jiǎng)難題之一，是計(jì)算理論的一個(gè)開放問題。

　　信息編碼論

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

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

　　算法

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

　　程序設(shè)計(jì)理論

　　主條目：程序設(shè)計(jì)語言理論

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

　　形式化方法

　　主條目：形式化方法

　　形式化方法是一種特別的基于數(shù)學(xué)的技術(shù)，用于軟件和硬件系統(tǒng)的形式規(guī)范、開發(fā)以及形式驗(yàn)證。在軟件和硬件設(shè)計(jì)方面，形式化方法的使用動(dòng)機(jī)，如同其它工程學(xué)科，是通過適當(dāng)?shù)臄?shù)學(xué)分析便有助于設(shè)計(jì)的可靠性和健壯性的期望。但是，使用形式化方法會(huì)帶來很高的成本，意味著它們通常只用于高可靠性系統(tǒng)，這種系統(tǒng)中安全或保安(security)是最重要的。

　　對(duì)于形式化方法的最佳形容是各種理論計(jì)算機(jī)科學(xué)基礎(chǔ)種類的應(yīng)用，特別是計(jì)算機(jī)邏輯演算，形式語言，自動(dòng)機(jī)理論和形式語義學(xué)，此外還有類型系統(tǒng)、代數(shù)數(shù)據(jù)類型，以及軟件和硬件規(guī)范和驗(yàn)證中的一些問題。

　　并發(fā)，并行和分布式系統(tǒng)

　　主條目：并行性和分布式計(jì)算

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

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

　　所有同學(xué)請(qǐng)保持努力，這樣你的努力終將開花結(jié)果，五湖雅思培訓(xùn)機(jī)構(gòu)一直會(huì)為所有考生提供專業(yè)細(xì)致的雅思培訓(xùn)服務(wù)，幫助考生進(jìn)入理想大學(xué)，可以接觸更高級(jí)別的社會(huì)群體。

文章標(biāo)簽：計(jì)算機(jī) 科學(xué)