數據庫
課程簡介
課程介紹
通過對形式語言與自動機理論的學習,將為學生提供學習和理解編譯原理、軟件形式化等課程的知識基礎。
通過可計算性理論的學習,學生將理解什么是可計算的,什么是不可計算的,能回答“什么是計算”這樣的問題,建立算法的概念。
通過對計算復雜性理論的學習,學生將理解什么是容易計算的,什么是難以計算的,能回答“什么是有效計算”這樣的問題,建立有效算法的概念。
所屬專業(yè)

計算機科學
計算機科學(computer science,縮寫CS)是系統(tǒng)性研究信息與計算的理論基礎以及它們在計算機系統(tǒng)中如何實現與應用的實用技術的學科。它通常被形容為對那些創(chuàng)造、描述以及轉換信息的算法處理的系統(tǒng)研究。計算機科學包含很多分支領域:有些強調特定結果的計算,比如計算機圖形學;有些是探討計算問題的性質,比如計算復雜性理論;還有一些領域專注于怎樣實現計算,比如編程語言理論。
需要學習該課程的專業(yè)
課程圖譜
先修課程