틀:계산 이론/계산 가능성 이론 목록

• 계산 가능성 이론
• 처치-튜링 논제
• 재귀
• 재귀 집합
• 재귀 열거 집합
• 결정 문제
• 정지 문제
• 계산 가능한 수
• μ-재귀 함수
• 원시 재귀 함수