Category:Lambda calculus
둘러보기로 이동
검색으로 이동
추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계 | |||||
미디어 올리기 | |||||
다음 종류에 속함 | |||||
---|---|---|---|---|---|
다음의 하위 개념임 | |||||
다음의 한 부분임 | |||||
명칭의 유래 | |||||
다음이 발견·발명하였음 |
| ||||
용도 | |||||
| |||||
![]() |
"Lambda calculus" 분류에 속하는 미디어
다음은 이 분류에 속하는 파일 23개 가운데 23개입니다.
-
A lambda-term with links.png 448 × 582; 22 KB
-
Church numeral links.png 816 × 1,056; 66 KB
-
De Bruijn index illustration 1.svg 208 × 61; 8 KB
-
Goldfarb1a.pdf 637 × 283; 37 KB
-
Goldfarb1b.pdf 637 × 283; 45 KB
-
Goldfarb1c.pdf 602 × 212; 38 KB
-
Goldfarb2a.pdf 283 × 141; 53 KB
-
Goldfarb3a.pdf 177 × 212; 27 KB
-
Goldfarb4a svg.svg 383 × 213; 22 KB
-
Goldfarb4a.pdf 637 × 354; 31 KB
-
Goldfarb4b.pdf 1,629 × 920; 63 KB
-
Goldfarb4c.pdf 637 × 354; 31 KB
-
Goldfarb4d.pdf 1,629 × 920; 63 KB
-
Lambda calculus-Church numerals.png 459 × 196; 15 KB
-
Lambda Cube img.svg 253 × 204; 24 KB
-
Lambda cube.png 321 × 294; 6 KB
-
Lambda lc.svg 375 × 375; 3 KB
-
Machine de Krivine.jpg 2,794 × 1,056; 103 KB
-
SemanticCalculation-JohnMetMary.png 416 × 376; 21 KB
-
SemanticCalculation-TheDogBarkedAtTheCat.png 1,081 × 1,046; 109 KB
-
Un terme avec liens version 2.png 257 × 357; 10 KB
-
亞佛加厥數-15.png 192 × 85; 2 KB
-
亞佛加厥數-16.png 59 × 67; 682 바이트