Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
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 ==
'''Saf <math>\lambda</math>- hesablaması'''şərtləri həmçinin , obyektləri ("obami")və ya Lambda (hərf-λ) şərtləri adlanan tətbiq və [[abstraksiya]] istifadə edərək yalnız dəyişənlərdən qurulmuşdur. Əvvəlcə hər hansı bir sabitliyin olması [[ehtimal]] edilmir.
== Tətbiq və abstraksiya ==
== α-ekvivalentlik ==
| |||