Translation of "rachunek lambda" into Russian
Лямбда-исчисление is the translation of "rachunek lambda" into Russian.
rachunek lambda
noun
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
-
Лямбда-исчисление
-
Show algorithmically generated translations
Automatic translations of "rachunek lambda" into Russian
-
Glosbe Translate
-
Google Translate
Phrases similar to "rachunek lambda" with translations into Russian
-
Типизированное лямбда-исчисление
Add example
Add