Lambda hesablaması: Redaktələr arasındakı fərq

Silinən məzmun Əlavə edilmiş məzmun
Səhifə "'''Lambda hesablanması'''(λ-hesablama) — Hesablama anlayışını formalaşdırmaq və təhlil etmək üçün Amerika Riyaziyyatçı|riyaziyyatçıs..." məzmunu ilə yaradıldı
 
Redaktənin izahı yoxdur
Sətir 1:
'''Lambda hesablanması''' (''λ-hesablama'') — Hesablama anlayışını formalaşdırmaq və təhlil etmək üçün [[Amerika]] [[Riyaziyyatçı|riyaziyyatçısı]] [[Alonzo Çörç]]tərəfindən hazırlanmış rəsmi bir [[sistem]].
== Saf <math>\lambda</math>- hesablama ==
== Tətbiq və abstraksiya ==
== α-ekvivalentlik ==
== β-reduksiyası ==
== η-dönüşümü ==