# cas récursif

## Français

### Étymologie

    Composé de cas et de récursif.

### Locution nominale

cas récursif 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 : -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)
