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

信息與編碼理論

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

編程語(yǔ)言理論和形式方法

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

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

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

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

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