편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
23번째 줄: | 23번째 줄: | ||
:<math>x \mapsto x^2 - \sin x.</math> | :<math>x \mapsto x^2 - \sin x.</math> | ||
이 함수를 lambda calculus에서는 | 이 함수를 lambda calculus에서는 | ||
:<math>\lambda x. x^2 - \sin x</math> | :<math>\lambda x.x \mapsto x^2 - \sin x</math> | ||
로 나타낸다.<ref><math>\lambda x[x \mapsto x^2 - \sin x]</math>로 나타내기도 한다.</ref> 그리고 이 함수의 <math>x=a</math>에서의 함숫값을 | 로 나타낸다.<ref><math>\lambda x[x \mapsto x^2 - \sin x]</math>로 나타내기도 한다.</ref> 그리고 이 함수의 <math>x=a</math>에서의 함숫값을 | ||
:<math>(\lambda x. x^2 - \sin x)a</math> | :<math>(\lambda x. x^2 - \sin x)a</math> | ||
로 나타낸다. 예를 들어 <math>(\lambda x.x^2 - \sin x)\pi = \pi^2 - \sin \pi = \pi^2</math>이다. 이 λ-연산자는 | 로 나타낸다. 예를 들어 <math>(\lambda x.x^2 - \sin x)\pi = \pi^2 - \sin \pi = \pi^2</math>이다. 이 λ-연산자는 | ||
--> | --> |