7 처지: 계산 가능 함수, 튜링 기계, 양자 컴퓨터, 프로그래밍 언어, 앨런 튜링, 알론조 처치, 알고리즘.
계산 가능 함수
산 가능한 함수(computable function)는 그 함수의 결과값을 특정한 계산 방식을 따라 유한 시간 안에 얻어낼 수 있는 함수를 의미.
새로운!!: 처치-튜링 명제와 계산 가능 함수 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 처치-튜링 명제와 튜링 기계 · 더보기 »
양자 컴퓨터
양자 컴퓨터의 기초가 되는 큐비트를 그림으로 나타내기 위한 블로흐 구 모형 양자 컴퓨팅(量子 -, quantum computing) 또는 양자 컴퓨터(quantum computer)는 얽힘(entanglement)이나 중첩(superposition) 같은 양자역학적인 현상을 이용하여 자료를 처리하는 계산 기계이.
새로운!!: 처치-튜링 명제와 양자 컴퓨터 · 더보기 »
프로그래밍 언어
C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.
새로운!!: 처치-튜링 명제와 프로그래밍 언어 · 더보기 »
앨런 튜링
앨런 매티슨 튜링(OBE, FRS, 1912년 6월 23일 ~ 1954년 6월 7일)은 영국의 수학자, 암호학자, 논리학자이자 컴퓨터 과학의 선구적 인물이.
새로운!!: 처치-튜링 명제와 앨런 튜링 · 더보기 »
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
새로운!!: 처치-튜링 명제와 알론조 처치 · 더보기 »
알고리즘
알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.
새로운!!: 처치-튜링 명제와 알고리즘 · 더보기 »