Übersetzung von „rachunek lambda“ aus dem Polnisch ins Deutsch

Lambda-Kalkül ist die Übersetzung von „rachunek lambda” aus dem Polnisch ins Deutsch.

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