차이점

이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.

--- 람다대수 [2010-07-12 23:21]
lifthrasiir +분류
+++ 람다대수 [2011-05-30 18:25] (현재)
@@ 줄 1: / 줄 1: @@
 ====== 람다 대수 ======
-모든 것을 [[함수]]로 생각하는 [[계산모델]]. "모든 것"이라는 건 말 그대로 모든 것으로, 심지어 숫자([[처치숫자]]를 보시라)나 집합 등도 그에 대응하는 함수로 생각하는 최소주의적인 접근을 취한다. 그런데도 이 계산 모델은 [[튜링기계]]와 동치이다!
+Lambda calculus. 모든 것을 [[함수]]로 생각하는 [[계산모델]]. "모든 것"이라는 건 말 그대로 모든 것으로, 심지어 숫자([[처치숫자]]를 보시라)나 집합 등도 그에 대응하는 함수로 생각하는 최소주의적인 접근을 취한다. 그런데도 이 계산 모델은 [[튜링기계]]와 동치이다!
+엄밀히 말해서 람다 대수는 크게 두 종류로 나눌 수 있다.
+  * [[타입없는람다대수]]: 함수의 인자(formal parameter)에 어느 제한도 주어지지 않는다.
+  * 타입 있는 람다 대수: 함수의 인자가 특정한 [[타입]]을 만족해야 한다.
+    * [[단순히타입된람다대수]]
+    * [[시스템F]]와 그 사촌 [[시스템Fsub]]
 {{tag>전산학}}

도쿠위키와 DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기