Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Sətir 6:
Əsasən '''λ-hesablama''' iki əsas əməliyyata əsaslanır:
* {{Anchor|Tətbiq}} ''Tətbiq'' ({{lang-lat|applicatio}} — qoşma, qoşulmaq) müəyyən bir dəyərlə əlaqədar bir funksiyanı tətbiq etmək və ya çağırmaq deməkdir. Adətən onun işarəsi<math>f\ a</math>,hardaki, <math>f\ a</math> — funksiya, a isə <math>a</math> — arqumentdir.Bu riyaziyyatda ümumi olan <math>f(a)</math> notasiyaya uyğun gəlir,bəzən də həmçinin də istifadə olunur,lakin, λ-hesablama üçün <math>f</math>-in nəticəni verilən giriş dəyərindən hesablayan [[alqoritm]] kimi qəbul etməsi vacibdir. Bu mənada <math>f</math>,<math>a</math> tətbiqinə iki cür baxmaq olar: tətbiqi nəticəsində <math>f</math> -dan <math>a</math> -ya və yaxudda hesablama prosesi olaraq <math>f\ a</math>. Tətbiqin son şərhi ''β-azalma'' [[Anlayış|anlayışı]] ilə əlaqədardır.
* {{Anchor|Abstraksiya}}''Abstraksiya'' və ya ''λ-abstraksiya'' ({{lang-lat|abstractio}} — yayındırma,bölmə) öz növbəsində verilmiş ifadələrə uyğun olaraq funksiyalar qurur. Eynilə,əgər <math>t\equiv t[x]</math> — ifadəsi sərbəst olan <math>x</math>, onda qeyd <math>\ \lambda x.t[x]</math> bu mənanı verir: <math>\lambda</math> arqumentdən funksiyası <math>x</math>, formaya sahibdir <math>t[x]</math>,bir funksiyanı ifadə edir <math>x\mapsto t[x]</math>.
== α-ekvivalentlik ==
| |||