Accueil > Dictionnaire > Définitions du mot « cas récursif »
Cas récursif
[ka rekyrsif]
Définitions de « cas récursif »
Cas récursif - Locution nominale
-
(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