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

Silinən məzmun Əlavə edilmiş məzmun
Sətir 19:
== Əyrilmə ==
== Tipsiz hesablama <math>\lambda</math>-semantikası ==
Bu bir faktdır ki,<math>\lambda</math>— lambda hesablamasının şərtləri funksiyaları kimi fəaliyyət göstərir,<math>\lambda</math>— şərtlərə tətbiq olunur(bu bəlkə də,özü-özünə),<math>\lambda</math>— hesablaması [[adekvat]] [[Semantika|semantikanın]] qurulmasında çətinliklərə səbəb olur. <math>\lambda</math>— hesablanmasına hər hansı bir məna vermək üçün,<math>D</math> çoxluğunu almaq zəruridir,hansıki,onun [[funksional]] məkanına<math>D \to D</math> sərmayə qoyulacaqdı. Bunun ümumi vəziyyətində<math>D</math>bu iki çoxluğun gücünün məhdudlaşdırılması səbəbindən mövcud deyildir, <math>D</math> funksiyalarından <math>D</math>-yə nəzərən<math>D</math>: ikincisi birincisindən daha çox gücə malikdir.
 
== Rekursiv funksiyalarla əlaqə ==
[[Rekursiya]] — özü vasitəsilə bir funksiyanın tərifidir; ilk baxışdan lambda hesablaması buna imkan vermir,lakin bu təəssürat yanıldır. Məsələn, [[faktorial]] hesablayan bir rekursiv funksiyasını nəzərdən keçirək: