Définition de cas de base | Babel Free

Définitions

1. Partie non récursive d’une définition récursive ou d’un algorithme récursif.
2. Propriété dite d’initialisation dans un raisonnement par induction.

Exemples

“Le cas de base du type des listes est la liste vide.”

“Pour prouver la propriété P pour tout entier naturel par récurrence, on prouve le cas de base qui est P(0) et on prouve l’hérédité, c’est-à-dire ∀ n ∈ ℕ, P(n) ⇒ P(n + 1).”

Niveau CECR