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