A. Terminaison et correction

• Cours :
  • Terminaison et correction
• Vidéos explicatives :
  • Terminaison d'une boucle
  • Terminaison d'un algorithme récursif
• TP :
  • Terminaison et correction d'algorithmes simples solution (à ne pas ouvrir en TP mais chez soi !)
• Objectifs d'apprentissage :
  • expliquer le problème de la terminaison d'un algorithme
  • utiliser un variant de boucle pour prouver la terminaison d'un algorithme
  • expliquer la notion de correction d'un algorithme
  • utiliser un invariant de boucle pour prouver la correction d'un algorithme