課程說明
遞迴函數與可計算性、演算法、丘奇論題、圖靈機、計算邏輯、NP-完全性。
先修條件
- 先修科目：MATH 2100 或 COMP 3805 或經系所許可。
條件與方式
- 亦列為 MATH 4803。
- 先修科目：MATH 2100 或 COMP 3805 或經系所許可。
原文參考文本
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or COMP 3805 or permission of the School.
- Also listed as MATH 4803 .
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/undergrad/courses/COMP/