Terme
Initialisation
- Nom
- Initialisation
- Termes plus larges
- Raisonnement par récurrence
- Cas particulier de
- Raisonnement par récurrence
Définition
Méthode Initialisation
On vérifie que la propriété \(P(n_0)\) est vraie.
Module : Raisonnement par récurrence