| 1. | Hoa /ˌhoʊə/ is a retro-recursive acronym for Hoa, Open Accessibility.
Hoa se prononce /hoa/ (prononcé en anglais : ) et est un rétro-acronyme récursif signifiant Hoa, Open Accessibility. |
| 2. | Her thesis Recursive Learning for Deformable Object Manipulation was advised by George A. Bekey.
Sa thèse sur l'apprentissage récursif pour la manipulation d'objets déformables a été dirigée par George A. Bekey. |
| 3. | The recursive algorithm for construction of a BSP tree from that list of polygons is: Choose a polygon P from the list.
On peut appliquer l'algorithme de construction récursif suivant : Choisir un polygone P dans la liste. |
| 4. | Some programmers working in functional languages will rewrite recursive code to be tail-recursive so they can take advantage of this feature.
Certains programmeurs utilisant des langages fonctionnels réécrivent du code récursif enveloppé de façon à tirer parti de cette caractéristique. |
| 5. | So by a recursive production process, at step i we have S(1,hi) ⇒ S(1,hi+1), so we can build S from its prefixes.
Par un processus récursif de production, où à l'étape i on a S(1,hi) ⇒ S(1,hi+1), on peut construire S à partir de ses préfixes. |
| 6. | Sénizergues used the Muller–Schupp theorem to show that the isomorphism problem for finitely generated virtually free group is primitive recursive.
Géraud Sénizergues utilise le théorème de Muller–Schupp pour démontrer que le problème d'isomorphisme de groupes (en) est primitif récursif pour les groupes virtuellement libres de type fini. |
| 7. | Gödel's incompleteness theorem shows that no recursive system that is sufficiently powerful, such as the Peano axioms, can be both consistent and complete.
Le théorème d'incomplétude de Gödel montre qu'aucun système récursif qui est suffisamment puissant, comme les axiomes de Peano, ne peut être à la fois cohérent et complet. |
| 8. | In fact, the loop invariant is often the same as the inductive hypothesis to be proved for a recursive program equivalent to a given loop.
En pratique, l'invariant de boucle est souvent la propriété induction — l'hypothèse d'induction — qui sert à montrer qu'un programme récursif est équivalent à une boucle. |
| 9. | Gödel's incompleteness theorem shows that any recursive system that is sufficiently powerful, such as Peano arithmetic, cannot be both consistent and syntactically complete.
Le théorème d'incomplétude de Gödel montre que tout système déductif récursif suffisamment puissant, comme l'arithmétique de Peano, ne peut pas être à la fois cohérent et syntaxiquement complet. |
| 10. | MiNT was originally released by Eric Smith as "MiNT is Not TOS" (a recursive acronym in the style of "GNU's Not Unix") in May 1990.
Au début, MiNT a été distribué par Eric Smith en mai 1990 sous le nom "MiNT is Not TOS" (un acronyme récursif dans le style "GNU's Not Unix"). |
