「rachunek lambda」をポーランド語から日本語に翻訳する

ラムダ計算は、「rachunek lambda」をポーランド語から日本語に変換したものです。

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