Unisquads
Toggle theme
로그인
역링크: 정지 문제
이 문서를 참조하고 있는 모든 문서 목록입니다.
총
55
개의 문서가
"정지 문제"
문서를 가리키고 있습니다.
상한
심화 수학
무한 집합론
이론 컴퓨터 과학
형식 언어 이론
계산 모델
결정론적 튜링 기계
계산 문제
역설
오토마타 이론
클레이니 정리
다비트 힐베르트
�퓨터 과학
처치-튜링 논제
알고리즘
촘스키 위계
자기 유사성
게오르크 칸토어
기호 논리학
다항 시간
러셀의 역설
표준 튜링 기계
난해한 문제
코딩 이론
계산 가능 함수
앨런 튜닝
NP-난해
복잡도 이론
유한 오토마톤
복잡도 클래스
오토마톤
튜링 차원
계산 가능성
쿠르트 괴델
오라클
오라클 튜링 기계
오토마타
괴델의 불완전성 정리
튜링 기계
트리 (그래프 이론)
상대적 계산 이론
계산 이론
정지 문제
수학 기초론
수리논리학
이론적 계산 모델
앨런 튜링
P-NP 문제
오토마타 및 형식 언어
계산 복잡도
타입 II
NP (복잡도)
람다 대수
계산
형식적 체계