10 처지: C++, 레오폴트 크로네커, 괴델의 불완전성 정리, 튜링 기계, 찰스 배비지, 추상 기계, 파스칼 (프로그래밍 언어), 프로그래밍 언어, 해석기관, XSLT.
C++
C++는 AT&T 벨 연구소의 비야네 스트롭스트룹이 1983년 발표하여 발전한 프로그래밍 언어이.
새로운!!: 튜링 완전와 C++ · 더보기 »
레오폴트 크로네커
오폴트 크로네커(1823년 12월 7일 ~ 1891년 12월 29일)는 독일의 수학자이며 논리학자이.
새로운!!: 튜링 완전와 레오폴트 크로네커 · 더보기 »
괴델의 불완전성 정리
수리논리학에서, 괴델의 불완전성 정리()는 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리.
새로운!!: 튜링 완전와 괴델의 불완전성 정리 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 튜링 완전와 튜링 기계 · 더보기 »
찰스 배비지
스 배비지(FRS, 1791년 12월 26일~1871년 10월 18일)는 영국의 수학자이자 철학자, 발명가, 기계공학자로서 '프로그램이 가능한 컴퓨터' 개념의 시초자이.
새로운!!: 튜링 완전와 찰스 배비지 · 더보기 »
추상 기계
상기계(抽象機械, abstract machine)는 컴퓨터 하드웨어나 소프트웨어의 이상적인 모형이.
새로운!!: 튜링 완전와 추상 기계 · 더보기 »
파스칼 (프로그래밍 언어)
스칼(Pascal)은 1969년에 스위스 ETH 취리히의 컴퓨터 과학자 니클라우스 비르트가 개발한 프로그래밍 언어로, 당대의 가장 인기있는 교육용 언어 중 하나였으며, 1980년대와 1990년대 초반에 걸쳐 널리 사용되었.
새로운!!: 튜링 완전와 파스칼 (프로그래밍 언어) · 더보기 »
프로그래밍 언어
C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.
새로운!!: 튜링 완전와 프로그래밍 언어 · 더보기 »
해석기관
석기관(解析機關,,해석 엔진)은 영국의 수학 교수 찰스 배비지가 고안한 기계적 범용 컴퓨터의 설계이.
새로운!!: 튜링 완전와 해석기관 · 더보기 »
XSLT
XSLT(Extensible Stylesheet Language Transformations)는 XML 문서를 다른 XML 문서로 변환하는데 사용하는 XML 기반 언어이.
새로운!!: 튜링 완전와 XSLT · 더보기 »