Etude des algorithmes classiques de tri par insertion, de tri par sélection (Chapitre 1) ainsi que de l'algorithme de recherche dichotomique (Chapitre 3). Vous appliquerez ces algorithmes pour trier des tables de données et ce sera aussi l'occasion de parler de fusion de tables. Vous découvrirez également les notions d'invariant et de variant qui permettent de prouver qu'un algorithme fonctionne : on parle de la correction d'un algorithme (Chapitre 2).