英國(guó)計(jì)算機(jī)科學(xué)專業(yè)課程設(shè)置及學(xué)習(xí)內(nèi)容介紹

牛津大學(xué)

并發(fā)Concurrency

并發(fā)程序設(shè)計(jì)Concurrent Programming

計(jì)算機(jī)科學(xué)基礎(chǔ)Foundations of Computer Science

函數(shù)式語(yǔ)言Functional Programming

智能系統(tǒng)Intelligent Systems

面向?qū)ο缶幊蘋bject-oriented Programming

計(jì)算復(fù)雜性Computational Complexity

計(jì)算機(jī)輔助形式化驗(yàn)證Computer Aided Formal Verification

計(jì)算機(jī)安全Computer Security

計(jì)算機(jī)在社會(huì)中Computers in Society

數(shù)據(jù)庫(kù)Databases

高級(jí)機(jī)器學(xué)習(xí)Advanced Machine Learning

自動(dòng)機(jī)、邏輯和游戲Automata, Logic and Games

計(jì)算博弈論Computational Game Theory

學(xué)習(xí)計(jì)算機(jī)程序能做什么和不能做什么(可計(jì)算性); 如何使程序更高效的執(zhí)行特定任務(wù)(算法和復(fù)雜性理論); 程序如何存取不同類型的數(shù)據(jù)(數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)庫(kù)); 程序如何顯得更具有智能(人工智能); 人類如何與程序溝通(人機(jī)互動(dòng)和人機(jī)界面)。

英國(guó)計(jì)算機(jī)科學(xué)專業(yè)一直是近年留學(xué)申請(qǐng)的熱門方向，英國(guó)計(jì)算機(jī)科學(xué)專業(yè)課程設(shè)置及學(xué)習(xí)內(nèi)容也是打算申請(qǐng)英國(guó)計(jì)算機(jī)科學(xué)專業(yè)的小伙伴們關(guān)心的問(wèn)題，希望本文對(duì)英國(guó)計(jì)算機(jī)科學(xué)專業(yè)課程設(shè)置及學(xué)習(xí)內(nèi)容的介紹可以給你們帶來(lái)幫助。