cas récursif
Étymologie
[modifier le wikicode]Locution nominale
[modifier le wikicode]| Singulier | Pluriel |
|---|---|
| cas récursif | cas récursifs |
| \Prononciation ?\ | |
cas récursif \Prononciation ?\ masculin
- (Informatique, Mathématiques) Partie récursive d'une définition ou d'un algorithme, utilisée ou exécutée en dehors du cas de base.
Il existe plusieurs formes équivalentes du principe d’induction. La plus commune, aussi appelée induction faible ou simple, procède en deux étapes :
— (Induction et récursion, defeo.lu)
-Un cas de base (aussi appelé initialisation), où on démontre le prédicat \(P(0)\) ;
-Un cas récursif (ou hérédité, ou pas inductif), où on démontre le prédicat \(P(n)\Rightarrow P(n+1)\).Une fonction est toujours constituée de plusieurs cas, parmi lesquels on distingue des cas de base et des cas récursifs du calcul. Les cas récursifs sont ceux qui renvoient à la fonction en train d'être définie.
— (editions-ellipses.fr/PDF/9782340038554_extrait.pdf)
Antonymes
[modifier le wikicode]Traductions
[modifier le wikicode]- Anglais : recursive case (en)