Traduction de "constructive logic" en français
logique constructive est la traduction de "constructive logic" en français.
constructive logic
noun
grammaire
Any kind of logic in which any proof of existence can be converted into an algorithm which constructs the mathematical object which it claims to exist.
-
logique constructive
-
Afficher les traductions générées par algorithme
Traductions automatiques de " constructive logic " en français
-
Glosbe Translate
-
Google Translate
Phrases similaires à "constructive logic" avec traductions en français
-
construction logique
Ajouter un exemple
Ajouter