NSI en première

Recherche dichotomique dans un tableau trié

Extrait du programme

Algorithmique

Le concept de méthode algorithmique est introduit […]. Quelques algorithmes classiques sont étudiés. […]

Il est nécessaire de montrer l'intérêt de prouver la correction d'un algorithme pour lequel on dispose d'une spécification précise, notamment en mobilisant la notion d'invariant sur des exemples simples. […]

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.

Lionel Avon