數(shù)據(jù)庫(kù)
課程簡(jiǎn)介
課程介紹
通過(guò)對(duì)形式語(yǔ)言與自動(dòng)機(jī)理論的學(xué)習(xí)，將為學(xué)生提供學(xué)習(xí)和理解編譯原理、軟件形式化等課程的知識(shí)基礎(chǔ)。
通過(guò)可計(jì)算性理論的學(xué)習(xí)，學(xué)生將理解什么是可計(jì)算的，什么是不可計(jì)算的，能回答“什么是計(jì)算”這樣的問題，建立算法的概念。
通過(guò)對(duì)計(jì)算復(fù)雜性理論的學(xué)習(xí)，學(xué)生將理解什么是容易計(jì)算的，什么是難以計(jì)算的，能回答“什么是有效計(jì)算”這樣的問題，建立有效算法的概念。
所屬專業(yè)
計(jì)算機(jī)科學(xué)
計(jì)算機(jī)科學(xué)（computer science，縮寫CS）是系統(tǒng)性研究信息與計(jì)算的理論基礎(chǔ)以及它們?cè)谟?jì)算機(jī)系統(tǒng)中如何實(shí)現(xiàn)與應(yīng)用的實(shí)用技術(shù)的學(xué)科。它通常被形容為對(duì)那些創(chuàng)造、描述以及轉(zhuǎn)換信息的算法處理的系統(tǒng)研究。計(jì)算機(jī)科學(xué)包含很多分支領(lǐng)域：有些強(qiáng)調(diào)特定結(jié)果的計(jì)算，比如計(jì)算機(jī)圖形學(xué)；有些是探討計(jì)算問題的性質(zhì)，比如計(jì)算復(fù)雜性理論；還有一些領(lǐng)域?qū)Ｗ⒂谠鯓訉?shí)現(xiàn)計(jì)算，比如編程語(yǔ)言理論。
需要學(xué)習(xí)該課程的專業(yè)
課程圖譜
先修課程
