Exercices corrigés — La discipline de programmation (informatique (tronc commun des prépas scientifiques))
10 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Le contrat ambigu Exercice de TD
- Variant non trivial — l'algorithme d'Euclide Exercice de TD
- Invariant du maximum Exercice de TD
- Le test de propriété Exercice de TD
- La boucle qui ne termine pas toujours Exercice de TD
- Spécification, tests et preuve d'un algorithme Exercice de TD
- Le flottant qui trahit le test Exercice de TD
- Diagnostiquer trois erreurs Application directe du cours
- Spécifier sans implémenter Application directe du cours
- Un jeu de tests complet Application directe du cours