将“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

+ 加

波兰文-中文字典

  • Λ演算

  • 显示算法生成的翻译

将“ rachunek lambda "自动翻译成 中文

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

类似于 "rachunek lambda" 的短语，可翻译成 中文

加

在上下文、翻译记忆库中将“rachunek lambda"翻译成 中文