cas récursif

Français

Étymologie

Composé de cas et de récursif.

Locution nominale

Singulier	Pluriel
cas récursif	cas récursifs
\Prononciation ?\

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)

Antonymes

• cas de base

Traductions

• Anglais : recursive case (en)