잔글 (→람다 연산) |
잔글편집 요약 없음 |
||
| (같은 사용자의 중간 판 하나는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
=미분 갈루아 이론= | |||
<!-- | |||
=람다 계산= | =람다 계산= | ||
{{학술}} | {{학술}} | ||
| 17번째 줄: | 23번째 줄: | ||
:<math>x \mapsto x^2 - \sin x.</math> | :<math>x \mapsto x^2 - \sin x.</math> | ||
이 함수를 lambda calculus에서는 | 이 함수를 lambda calculus에서는 | ||
:<math>\lambda x. | :<math>\lambda x. 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>이다. 이 λ-연산자는 | ||
--> | |||