Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
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
.