Présentation
L'épreuve Info A
Méthode
La méthode Hadamard pour Info A
- Preuves de correction et terminaison — invariants de boucle explicites, variants pour la terminaison, preuves récursives par récurrence forte.
- Complexité asymptotique justifiée — pas de O(n) lancé sans démonstration. Compter précisément les opérations dominantes.
- Code propre et commenté — déclarer clairement les types, justifier les choix de structures de données, indenter proprement.
- Lecture stratégique du sujet — Info A est souvent constitué d'un fil conducteur progressif. Démarre dans l'ordre, mais n'hésite pas à sauter une question difficile en utilisant son résultat (proprement énoncé) plus tard.

