Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
konwersja alpha
Polskojezyczna Wikipedia - wolna encyklopedia
Download this dictionary
Konwersja alpha
Konwersja α
to operacja w
rachunku lambda
polegająca na zamianie zmiennej określanej przez lambdę oraz wszystkich jej wystąpień w wyrażeniu pod lambdą, na inną, nie kolidującą z żadną z lambd zewnętrznych lub wewnętrznych.
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
.