브라우저보다 빠른!
25 처지: 리스프, 범주론, 계산 이론, 네임 바인딩, 스티븐 클레이니, 튜링 기계, 튜링 완전, 자유 변수와 종속 변수, 클레이니-로서 역설, 존 버클리 로서, 철학, 처치-로서 정리, 추상화 (컴퓨터 과학), 커링, 컴퓨터 과학, 수리논리학, 수학, 수학기초론, 언어학, 함수, 함수형 프로그래밍, 알론조 처치, 외연성, 1936년, 1940년.
리스프
리스프(Lisp, LISP) 혹은 리습은 프로그래밍 언어의 계열로서, 오랜 역사와 독특하게 괄호를 사용하는 문법으로 유명.
새로운!!: 람다 대수와 리스프 · 더보기 »
범주론
수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.
새로운!!: 람다 대수와 범주론 · 더보기 »
계산 이론
산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를.
새로운!!: 람다 대수와 계산 이론 · 더보기 »
네임 바인딩
밍 언어에서, 네임 바인딩 (name binding)은 엔티티들(데이터 그리고/또는 코드)과 식별자들의 연관이.
새로운!!: 람다 대수와 네임 바인딩 · 더보기 »
스티븐 클레이니
스티븐 콜 클레이니(1909~1994)는 미국의 수학자이.
새로운!!: 람다 대수와 스티븐 클레이니 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 람다 대수와 튜링 기계 · 더보기 »
튜링 완전
링 완전 (turing completeness)이란 어떤 프로그래밍 언어나 추상 기계가 튜링 기계와 동일한 계산 능력을 가진다는 의미이.
새로운!!: 람다 대수와 튜링 완전 · 더보기 »
자유 변수와 종속 변수
리학과 컴퓨터 과학에서, 자유 변수(自由變數)는 수식 속의 변수 가운데 상숫값으로 치환할 수 있는 것이.
새로운!!: 람다 대수와 자유 변수와 종속 변수 · 더보기 »
클레이니-로서 역설
수학에서 클레이니-로서 역설()은 형식 논리의 특정 시스템에서 결점을 보인 역설이.
새로운!!: 람다 대수와 클레이니-로서 역설 · 더보기 »
존 버클리 로서
존 버클리 로서 경(John Barkley Rosser Sr. 1907년 12월 6일 - 1989년 9월 5일)은 미국의 논리학자이.
새로운!!: 람다 대수와 존 버클리 로서 · 더보기 »
철학
고대 그리스의 철학자 소크라테스가 독배를 마시는 모습 철학(哲學, 고대 그리스어: φιλοσοφία)은 존재, 지식, 가치, 이성, 인식 그리고 언어 등의 일반적이며 기본적인 대상의 실체를 연구하는 학문이.
처치-로서 정리
200px 처치-로서 정리는 두 개의 특별한 재작성이 동일한 람다 대수항으로부터 시작한다면, 해당 항으로부터 재작성을 거듭하면 결국 어느 하나의 항 표현에 도달한다는 사실을 주장.
새로운!!: 람다 대수와 처치-로서 정리 · 더보기 »
추상화 (컴퓨터 과학)
학에서 추상화(abstraction)는 복잡한 자료, 모듈, 시스템 등으로부터 핵심적인 개념 또는 기능을 간추려 내는 것을 말.
새로운!!: 람다 대수와 추상화 (컴퓨터 과학) · 더보기 »
커링
수학과 컴퓨터 과학에서 커링이란 다중 인수 (혹은 여러 인수의 튜플)을 갖는 함수를 단일 인수를 갖는 함수들의 함수열로 바꾸는 것을 말. 모지즈 쇤핑클에 의해 도입되었고, 이후 해스켈 커리에 의해 발전하였.
컴퓨터 과학
학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.
새로운!!: 람다 대수와 컴퓨터 과학 · 더보기 »
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
새로운!!: 람다 대수와 수리논리학 · 더보기 »
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
수학기초론
수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이.
새로운!!: 람다 대수와 수학기초론 · 더보기 »
언어학
일반적으로 언어학(言語學)은 인간의 언어를 연구하는 학문이.
새로운!!: 람다 대수와 언어학 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
함수형 프로그래밍
수형 프로그래밍은 자료 처리를 수학적 함수의 계산으로 취급하고 상태와 가변 데이터를 멀리하는 프로그래밍 패러다임의 하나이.
새로운!!: 람다 대수와 함수형 프로그래밍 · 더보기 »
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
새로운!!: 람다 대수와 알론조 처치 · 더보기 »
외연성
리학에서 외연성이란 둘 이상의 물체가 동일한 외형적 성질을 가지고 있을 때 해당 물체들이 같다고 판단하는 원리이.
새로운!!: 람다 대수와 외연성 · 더보기 »
1936년
1936년은 수요일로 시작하는 윤년이.
새로운!!: 람다 대수와 1936년 · 더보기 »
1940년
1940년은 월요일로 시작하는 윤년이.
새로운!!: 람다 대수와 1940년 · 더보기 »
