 |
rachunek lambda
| Polskojezyczna Wikipedia - wolna encyklopedia | Download this dictionary |
Rachunek lambda
Rachunek lambda – system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych, wartości logicznych, itd. Rachunek lambda został wprowadzony przez Alonzo Churcha i Stephena Cole'a Kleene'ego w 1930 roku.
| W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg... |
© W niniejszym artykule wykorzystano materialy z Wikipédia® i jest na licencji GNU Free Documentation License, a na licencji licencji Commons Attribution-ShareAlike.
