Exercices corrigés — Programmes justes : logique de Hoare et invariants (algorithmique (école d'ingénieur))
13 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Triplets de Hoare Application directe du cours
- Plus faible précondition Exercice de TD
- Nombre d'occurrences Application directe du cours
- Variantes du pplstc Exercice de TD
- Plus long plateau Application directe du cours
- Sous-tableau de produit maximum Exercice de TD
- Exponentiation rapide Application directe du cours
- Fibonacci par les matrices Exercice de TD
- Négatifs en tête Exercice de TD
- Racine carrée entière Application directe du cours
- Le pire cas d'Euclide Exercice de TD
- Division euclidienne Exercice de TD
- Invariants et récursivité Exercice de TD