Hello~大家好，University of Sheffield掛科了是因為之前沒有好好學(xué)習(xí)專業(yè)課程，那么要珍惜后面的學(xué)習(xí)機(jī)會，把落下的知識點補(bǔ)回來。今天謝菲爾德大學(xué)的學(xué)姐為同學(xué)們講Computer Science專業(yè)一些基礎(chǔ)知識，希望同學(xué)們可以從中有所收獲。

　　信息與編碼理論

　　信息論，與可能性和統(tǒng)計數(shù)字，與信息的量化有關(guān)。這是由克勞德·香農(nóng)找到…的基本限制信號處理諸如壓縮數(shù)據(jù)以及可靠地存儲和傳送數(shù)據(jù)的操作。編碼理論是對編碼(用于將信息從一種形式轉(zhuǎn)換為另一種形式的系統(tǒng))及其對特定應(yīng)用的適用性。代碼用于數(shù)據(jù)壓縮,密碼系統(tǒng),錯誤檢測和糾正，最近還針對網(wǎng)絡(luò)編碼。研究代碼的目的是為了設(shè)計高效可靠的數(shù)據(jù)傳輸方法。

　　編程語言理論和形式方法

　　程序設(shè)計語言理論是計算機(jī)科學(xué)的一個分支，它涉及設(shè)計、實現(xiàn)、分析、表征和分類編程語言和他們的個體特征。它屬于計算機(jī)科學(xué)的范疇，既依賴于也影響著數(shù)學(xué)、軟件工程和語言學(xué)。這是一個活躍的研究領(lǐng)域，有許多專門的學(xué)術(shù)期刊。

　　形式方法是一種特殊的算術(shù)地基于技術(shù)的規(guī)格，發(fā)展與確認(rèn)軟件和五金器具系統(tǒng)。在軟件和硬件設(shè)計中使用形式化方法的動機(jī)是期望像在其他工程學(xué)科中一樣，執(zhí)行適當(dāng)?shù)臄?shù)學(xué)分析可以有助于設(shè)計的可靠性和穩(wěn)健性。它們構(gòu)成了軟件工程的重要理論基礎(chǔ)，尤其是在涉及安全或保障的情況下。形式化方法是軟件測試的一個有用的輔助手段，因為它們有助于避免錯誤，并且還可以為測試提供一個框架。對于工業(yè)用途，需要工具支持。然而，使用正式方法的高成本意味著它們通常僅用于開發(fā)高完整性和生命關(guān)鍵系統(tǒng)，哪里安全還是安全至關(guān)重要。形式化方法最好被描述為各種各樣的理論計算機(jī)科學(xué)尤其是基本面邏輯結(jié)石，正式語言,自動機(jī)理論，和程序語義學(xué)，但也類型系統(tǒng)和代數(shù)數(shù)據(jù)類型軟硬件規(guī)范和驗證中的問題。

　　計算機(jī)系統(tǒng)和計算過程

　　人工智能旨在或被要求綜合面向目標(biāo)的過程，如解決問題、決策、環(huán)境適應(yīng)、學(xué)習(xí)和人類和動物的交流。從它起源于控制論在達(dá)特茅斯會議(1956年)，人工智能研究必然是跨學(xué)科的，利用專業(yè)領(lǐng)域，如應(yīng)用數(shù)學(xué),數(shù)理邏輯,符號學(xué),電機(jī)工程,精神哲學(xué),神經(jīng)生理學(xué)，和社會智力。人工智能在大眾心目中與機(jī)器人開發(fā)，但實際應(yīng)用的主要領(lǐng)域一直是作為嵌入式組件出現(xiàn)在軟件開發(fā)，這需要計算理解。20世紀(jì)40年代末的起點是艾倫·圖靈問“計算機(jī)會思考嗎?”，這個問題仍然沒有得到有效的回答，盡管圖靈測試仍然被用來評估人類智力水平上的計算機(jī)輸出。但是，在涉及復(fù)雜的真實世界數(shù)據(jù)的計算機(jī)應(yīng)用領(lǐng)域，評估和預(yù)測任務(wù)的自動化已經(jīng)越來越成功地取代了人工監(jiān)控和干預(yù)。

　　以上是Computer Science專業(yè)中的相關(guān)理論知識，如果同學(xué)需要系統(tǒng)化的補(bǔ)習(xí)，可以和我們的輔導(dǎo)老師進(jìn)行聯(lián)系，會有老師進(jìn)行一對一的定制化輔導(dǎo)。考而思專注解決英國留學(xué)生遇到的問題。