Cas récursif

Locution nominale - français

cas récursif \Prononciation ?\ masculin

1. (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 :
     -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)\). — (Induction et récursion, defeo.lu)
   • 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)