NSI (terminale) · Chapitre 5 · Exercice d'entraînement
Prouver une fonction récursive
La récursivité · Terminaison et correction · niveau 2
Énoncé
Prouver une fonction récursive.
On veut tester si une liste de nombres est triée par ordre croissant.
- Écrire une fonction récursive
est_croissante(t, i)qui renvoieTruesi et seulement si la portiont[i:]de la liste est triée par ordre croissant. L'appel principal seraest_croissante(t, 0). - Prouver sa terminaison à l'aide d'un variant.
- Prouver sa correction par récurrence.
Un exercice à chercher : son corrigé n'est pas publié. Sur Adloun, le tuteur guide par questions, sans donner la réponse.