Wersja z 21:11, 5 wrz 2016 edytuj 46.238.250.60 (dyskusja) →‎Wyrażenia lambda Znacznik: VisualEditor ← poprzednia edycja		Wersja z 23:38, 12 wrz 2016 edytuj anuluj edycję MastiBot (dyskusja \| edycje) Boty 3 415 476 edycji m Robot automatycznie usuwa linki zwrotne; zmiany kosmetyczne następna edycja →
Linia 1: '''Rachunek lambda''' – [[system formalny]] używany do badania zagadnień związanych z podstawami [[matematyka\|matematyki]] jak [[Rekursja\|rekurencja]], definiowalność funkcji, obliczalność, podstawy matematyki np. [[definicja]] [[liczby naturalne\|liczb naturalnych]], wartości logicznych, itd. Rachunek lambda został wprowadzony przez [[Alonzo Church]]a i [[Stephen Cole Kleene\|Stephena Cole'a Kleene'ego]] w [[1930]] roku. Rachunek lambda jest przydatny do badania [[algorytm~~\|algorytmów~~]]ów. Wszystkie algorytmy, które dadzą się zapisać w rachunku lambda, dadzą się zaimplementować na [[maszyna Turinga\|maszynie Turinga]] i odwrotnie. Istnieje wiele rodzajów rachunku lambda, z czego najprostszym jest [[rachunek lambda bez typów]], stanowiący pierwotną inspirację dla powstania [[Programowanie funkcyjne\|programowania funkcyjnego]] ([[Lisp]]). [[Rachunek lambda z typami]] jest podstawą dzisiejszych [[System typów\|systemów typów]] w [[Język programowania\|językach programowania]]. Linia 67: == Rekurencja w rachunku lambda == [[Rachunek lambda]] z pozoru nie ma żadnego mechanizmu, który umożliwiałby [[Rekurencja\|rekurencję]] – nie można odwoływać się w definicji do samej funkcji. A jednak rekurencję można osiągnąć poprzez [[operator paradoksalny]] Y. Paradoks polega na tym że dla ''każdego'' F zachodzi:

Rachunek lambda: Różnice pomiędzy wersjami