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