Exercices corrigés — Prouver et analyser : la boîte à outils formalisée (informatique (tronc commun des prépas scientifiques))
10 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Expression ou instruction ?
- Annoter et prouver totalement
- Le partitionnement de
dichotomie - L'effet de bord accidentel
- Correct mais sans variant simple — et l'inverse
- Tester les limites — l'inventaire des classes de
mediane - L'espace caché de la récursivité
- Le drapeau tricolore, preuve totale intégrale
- Un invariant trop faible
- Peut-on tout prouver ? Peut-on tout tester ?