7 처지: 람다 대수, 클레이니 스타, 클레이니-로서 역설, 정규 표현식, 지시 함수, 컴퓨터 과학자 목록, 알론조 처치.
람다 대수
수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.
새로운!!: 스티븐 클레이니와 람다 대수 · 더보기 »
클레이니 스타
이니 스타(Kleene Star)는 문자열이나 문자의 집합에 쓰이는 단항 연산으로, 0개 이상의 임의 원소의 연쇄를 뜻. 스티븐 클레이니가 도입하였으며, 오토마타 이론과 정규 표현식, 형식 문법에서 활용.
새로운!!: 스티븐 클레이니와 클레이니 스타 · 더보기 »
클레이니-로서 역설
수학에서 클레이니-로서 역설()은 형식 논리의 특정 시스템에서 결점을 보인 역설이.
새로운!!: 스티븐 클레이니와 클레이니-로서 역설 · 더보기 »
정규 표현식
랑색 강조 부분은 다음 정규식을 사용했을 때 매치된 것이다.(?:\.) 2,(?.
새로운!!: 스티븐 클레이니와 정규 표현식 · 더보기 »
지시 함수
2차원 집합의 지시 함수의 그래프. 수학에서, 지시 함수(指示函數), 정의 함수(定義函數), 또는 특성 함수(特性函數)는 특정 집합에 특정 값이 속하는지를 표시하는 함수로, 특정 값이 집합에 속한다면 1, 속하지 않는다면 0의 값을.
새로운!!: 스티븐 클레이니와 지시 함수 · 더보기 »
컴퓨터 과학자 목록
이 문서는 컴퓨터 과학자의 목록으로서, 컴퓨터 과학 분야에서 활동한 연구가와 저술가의 목록이.
새로운!!: 스티븐 클레이니와 컴퓨터 과학자 목록 · 더보기 »
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
새로운!!: 스티븐 클레이니와 알론조 처치 · 더보기 »