11 처지: 람다 대수, 결정 문제, 계산 복잡도 이론, 귀류법, 대각선 논법, 튜링 기계, 컴퓨터 프로그램, 앨런 튜링, 알론조 처치, 알고리즘, 1936년.
람다 대수
수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.
새로운!!: 정지 문제와 람다 대수 · 더보기 »
결정 문제
산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..
새로운!!: 정지 문제와 결정 문제 · 더보기 »
계산 복잡도 이론
산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.
새로운!!: 정지 문제와 계산 복잡도 이론 · 더보기 »
귀류법
법(歸謬法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이.
새로운!!: 정지 문제와 귀류법 · 더보기 »
대각선 논법
집합론에서, 대각선 논법(對角線論法)은 실수가 비가산 집합임을 보이는 수학적 증명이.
새로운!!: 정지 문제와 대각선 논법 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 정지 문제와 튜링 기계 · 더보기 »
컴퓨터 프로그램
C 언어의 "Hello, World" 소스 코드. 컴퓨터 프로그램()은 컴퓨터에서 실행될 때 특정 작업(specific task)을 수행하는 일련의 명령어들의 모음(집합체)이.
새로운!!: 정지 문제와 컴퓨터 프로그램 · 더보기 »
앨런 튜링
앨런 매티슨 튜링(OBE, FRS, 1912년 6월 23일 ~ 1954년 6월 7일)은 영국의 수학자, 암호학자, 논리학자이자 컴퓨터 과학의 선구적 인물이.
새로운!!: 정지 문제와 앨런 튜링 · 더보기 »
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
새로운!!: 정지 문제와 알론조 처치 · 더보기 »
알고리즘
알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.
새로운!!: 정지 문제와 알고리즘 · 더보기 »
1936년
1936년은 수요일로 시작하는 윤년이.
새로운!!: 정지 문제와 1936년 · 더보기 »
여기로 리디렉션합니다
정지문제.