Terminaison et Invariant de boucle - Algorithmique
Вставка
- Опубліковано 13 гру 2024
- 1ère NSI
Notion de terminaison d'un algorithme
Conditions à respecter pour avoir une terminaison d'un algorithme, en particulier avec les boucles While
Notion d'invariant de boucle
Démonstration par récurrence de la vérification d'un invariant de boucle
Exemples avec Python