Introduction
Comme on l'a vu dans les algorithmes gloutons, et que l'on continuera de le voir dans le futur, il est souvent nécessaire de chercher un élément dans un tableau.
Dans cette séquence nous allons donc nous intéresser à la recherche d'élément dans une liste triée.
Contenus | Capacités attendues | Commentaires |
|---|---|---|
Recherche dichotomique dans un tableau trié | 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. |