text: # 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)
  