Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
primitive recursive function
Traduction de "primitive recursive function" en français
fonctions récursives primitives
fonction récursive primitive
Every primitive recursive function is total recursive, but not all total recursive functions are primitive recursive.
Il n'existe aucune procédure permettant de dire si une fonction récursive est récursive primitive ou non.
Moreover the shortest proof of P(n) in Peano arithmetic grows phenomenally fast as a function of n; far faster than any primitive recursive function or the Ackermann function for example.
De plus, la plus courte démonstration de P(n) a une longueur grandissant extrêmement vite en fonction de n, beaucoup plus vite que les fonctions récursives primitives ou que la fonction d'Ackermann par exemple.
In the Grzegorczyk hierarchy, every primitive recursive function is dominated by some fa with a < ω.
Dans la hiérarchie de Grzegorczyk, chaque fonction récursive primitive est dominée par un certain fa avec a < ω.
Hence, in the Wainer hierarchy, every primitive recursive function is dominated by fω, which is a variant of the Ackermann function.
Par conséquent, dans la hiérarchie de Wainer, toutes les fonctions récursives primitives sont dominées par fω (laquelle est une variante de la fonction d'Ackermann).
Every function in the Grzegorczyk hierarchy is a primitive recursive function, and every primitive recursive function appears in the hierarchy at some level.
Toutes les fonctions de la hiérarchie de Grzegorczyk sont primitives récursives et toute fonction primitive récursive apparait dans cette hiérarchie.
In the Grzegorczyk hierarchy, every primitive recursive function is dominated by some fa with Hence, in the Wainer hierarchy, every primitive recursive function is dominated by fω, which is a variant of the Ackermann function.
Dans la hiérarchie de Grzegorczyk, chaque fonction récursive primitive est dominée par un certain fa avec Par conséquent, dans la hiérarchie de Wainer, toutes les fonctions récursives primitives sont dominées par fω (laquelle est une variante de la fonction d'Ackermann).
Moreover the shortest proof of P(n) in Peano arithmetic grows phenomenally fast as a function of n; far faster than any primitive recursive function or the Ackermann function for example.
De plus, la plus courte démonstration de P(n) a une longueur grandissant extrêmement vite en fonction de n, beaucoup plus vite que les fonctions récursives primitives ou que la fonction d'Ackermann par exemple.
Synonymes et analogies de "primitive recursive function" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 7. Exacts: 7. Temps écoulé: 203 ms.
