説明
再帰関数と可算性、アルゴリズム、チャーチの命題、チューリングマシン、計算論理、NP完全性。
前提条件
- 前提条件: MATH 2100 または MATH 3855、または学部の許可。
条件および詳細
- COMP 4803 と併記。
- 前提条件: MATH 2100 または MATH 3855、または学部の許可。
- 講義週3時間。
原語による参照テキスト
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/