Fonctionnelles sur les listes, arithmétique de Peano, dérivation formelle, recherche d'un élément majoritaire en temps linéaire.
TP de révision sur les listes.
TP de révision sur les arbres.
Représentation arborescente d'un dictionnaire.
Insertion dans un arbre rouge-noir.
Chemins dans un graphe défini par matrice d'adjacence.
Coloration d'un graphe.
Union-find.
Bord maximal d'un mot - algorithme KMP
Simulation d'un automate déterministe puis d'un automate non déterministe.
Arbres d'intervalles.
IF-expressions et détermination de tautologies.