Algorithmes
Objectifs :
Étudier le coût d’un algorithme et prouver sa validité sur des cas simples :
évaluer le nombre d’opérations effectuées ;
prouver la correction d’un algorithme;
prouver la terminaison d’un algorithme.
Connaître quelques algorithmes classiques de calcul et de recherche utilisant parcours séquentiel dans un ensemble de valeurs :
calculer une moyenne ;
rechercher un extremum ;
rechercher une valeur particulière ;
Comprendre l’intérêt de la recherche par dichotomie :
prouver la validité ;
évaluer le coût.