- Montrer la terminaison de la recherche dichotomique à l’aide d’un variant de boucle.
- Des assertions peuvent être utilisées. La preuve de la correction peut être présentée par le professeur.
Quelques algorithmes classiques sont étudiés. L’étude de leurs coûts respectifs prend tout son sens dans le cas de données nombreuses, qui peuvent être préférentiellement des données ouvertes.
`Plan de travail sous forme de notebook <./Temps d'exécution.ipynb>`_: analyse de la performance d'un programme puis découverte de la recherche par dichotomie.
