Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Sətir 5:
== Tətbiq və abstraksiya ==
Ə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.
== α-ekvivalentlik ==
| |||