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