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.

