설명
재귀 함수와 계산 가능성, 알고리즘, 처치의 논제(Church's thesis), 튜링 기계, 계산 논리, 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/