Computation
Term
결정문제 (Entscheidungsproblem)
계산 (Computation)
계산주의 (Computationalism)
계산가능성
이론 (Computability Theory)
계산가능성
이론 (Computability Theory)
계산복잡도이론 (Computational Complexity
Theory)
계산이론 (Theory of Computation)
공리
(Axiom)
뇌 (Brain)
다항식과 비결정다항식 (P
and NP)
람다
계산법 (Lambda Calculus)
마르코프
알고리즘 (Markov
Algorithm)
마음
(Mind)
문맥자유 문법 (Context Free Grammar)
비결정 난해 (NP-hard)
비결정 완전 (NP-complete)
세포
자동자 (Cellular Automata)
오토마타
(Automata)
오토마타 이론 (Automata Theory)
인공지능
(Artificial Intelligence)
일차 술어계산
(First order predicate calculus)
재귀함수
(Recursive Function)
재귀함수
(Recursive Function)
정리 (Theorem)
정지문제
(Halting Problem)
처치-튜링
명제 (Church-Turing Thesis)
촘스키계층 (Chomsky Hierarchy)
추론규칙
(Inference Rule)
튜링
기계 (Turing
Machine)
튜링 명제 (Turing
Thesis)
튜링 테스트
(Turing Test)
포스트 시스템 (Post
Systems)
형식언어 (Formal Language)
Alan
Turing
Alonzo
Church
David Hilbert
Emil
Post
John
von Neumann
Kurt Gödel
Noam Chomsky