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.
- L'effet de bord accidentel Exercice de TD
- Correct mais sans variant simple — et l'inverse Exercice de TD
- Tester les limites — l'inventaire des classes de
medianeExercice de TD - L'espace caché de la récursivité Exercice de TD
- Le drapeau tricolore, preuve totale intégrale Exercice de TD
- Un invariant trop faible Exercice de TD
- Peut-on tout prouver ? Peut-on tout tester ? Exercice de TD
- Expression ou instruction ? Application directe du cours
- Annoter et prouver totalement Application directe du cours
- Le partitionnement de
dichotomieApplication directe du cours