Section outline

  • Objectifs : Connaître la terminologie (variant de boucle, invariant de boucle, pré/post-condition), Prouver qu'un algorithme termine, Prouver qu'un algorithme fait bien ce qu'on attend de lui, Calculer la complexité d'un algorithme