Rachunek lambda Rachunek lambda Alonso Church - (ur. 14 czerwca 1903 r. w Waszyngtonie, zm. 11 sierpnia 1995 r. w Hudson w stanie Ohio w USA. Amerykański logik i matematyk. ...Wikipedia "Alonzo Church"
Arytmetyka w rachunku lambda opiera się na liczbach naturalnych Churcha. ...Wikipedia "Arytmetyka w rachunku lambda"
Czołowa postać normalna to wyrażenie w rachunku lambda w którym główne wyrażenie nie jest redukowalne, oraz nie jest lambda-wyrażeniem o redukowalnym ciele. ...Wikipedia "Czołowa postać normalna"
Konwersja α to operacja w rachunku lambda polegająca ...Wikipedia "Konwersja alpha"
Liczby naturalne Churcha to konstrukcja w rachunku lambda, ...Wikipedia "Liczby naturalne Churcha"
Operator paradoksalny to funkcja w rachunku lambda, która dla każdej funkcji tworzy jej punkt stały: ...Wikipedia "Operator paradoksalny"
Rachunek lambda to system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych itd. Rachunek Lambda został wprowadzony przez Alonzo Churcha i Stephen Cole Kleene w 1930 roku. ...Wikipedia "Rachunek lambda"
http://pl.shortopedia.com moments. Rachunek_lambda
Rachunek lambda bez typów to klasyczna postać rachunku lambda. ...Wikipedia "Rachunek lambda bez typów"
Rachunek lambda z typami to postać rachunku lambda rozszerzona o typy i z ograniczeniami, ...Wikipedia "Rachunek lambda z typami"
Redukcja β to najważniejsze przekształcenie w rachunku lambda, ...Wikipedia "Redukcja beta"
(Rekurencja w rachunku lambda) Paradoks polega na tym że dla każdego F zachodzi Y F = F (Y F). ...Wikipedia "Rekurencja w rachunku lambda"
Słaba czołowa postać normalna to wyrażenie w rachunku lambda w którym główne wyrażenie nie jest redukowalne. ...Wikipedia "Słaba czołowa postać normalna"
Twierdzenie Churcha-Rossera, to twierdzenie mówiące o tym że rachunek lambda jest silnie konfluentny. ...Wikipedia "Twierdzenie Churcha-Rossera"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Rachunek lambda".
| MAIN PAGE | MAIN INDEX | CONTACT US |