S11 – Terminaison et correction d'un algorithme
| Élément | Détail |
|---|---|
| Niveau | BTS SIO option SISR, 2e année – complément : pour aller plus loin |
| Séance | S11 (séance 11 sur 19) – Phase 3 |
| Durée | 4 heures |
| Parcours | Cœur – Terminaison et correction : prérequis de S12 ; cité par S18. Voir le parcours cœur et complément. |
| Chapitre du programme | Analyse d'algorithme – terminaison, correction |
| Prérequis | S10 |
| Outils | Papier, calculatrice, éditeur Python intégré au site |
Note
Question qui guide la séance : « Comment prouver qu'un algorithme s'arrête et fait ce qu'on veut ? »
Objectifs
À la fin de la séance, l'étudiant est capable de :
- Trouver un variant de boucle
- Énoncer un invariant
- Prouver la correction d'une boucle simple
- Écrire des tests pertinents
- Repérer les cas limites
Contenu de la séance
| Document | Rôle |
|---|---|
| Cours | Cours |
| Exercices | Exercices |
| TP Python | TP (éditeur Python intégré) |
| Aide-mémoire | Aide-mémoire |
Déroulé conseillé (4 h)
| Durée | Activité | Format |
|---|---|---|
| 0 h 00 – 0 h 15 | Rappel : récursivité et boucles (S04 de la 1re année, S06 à S10) | Oral |
| 0 h 15 – 1 h 15 | Cours : variant, invariant, cas limites, tests | Cours et questions |
| 1 h 15 – 2 h 15 | Exercices | Individuel |
| 2 h 15 – 3 h 45 | TP Python | Individuel |
| 3 h 45 – 4 h 00 | Auto-évaluation | Individuel |
Durées indicatives : la séance dure 4 h ; l'enseignant ajuste selon le rythme du groupe.
Application en informatique
Valider un script d'administration avant de le lancer sur tout un parc : s'arrête-t-il, fait-il ce qu'on attend, sur tous les cas ?
Évaluation
- Feuille d'exercices et scripts du TP validés dans l'éditeur.
- Auto-évaluation « Je sais faire » en fin d'exercices.
Notes pour l'enseignant
- Exemples chiffrés recalculés par programme ; scripts du TP validés (solution réussie, squelette en échec).