説明
再帰関数と可算性、アルゴリズム、チャーチの命題、チューリングマシン、計算論理、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/