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