cas récursif

Informatique, MathématiquesPartie 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)\).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.