Traduction de "rachunek lambda" en français

lambda-calcul est la traduction de "rachunek lambda" en français.

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

+ Ajouter

dictionnaire polonais - français

  • lambda-calcul

    système formel de la logique mathématique

  • Afficher les traductions générées par algorithme

Traductions automatiques de " rachunek lambda " en français

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Ajouter

Traductions de "rachunek lambda" en français en contexte, mémoire de traduction