1 Recherche en table par balayage
2.5 Analyse de complexité de l'algorithme de recherche dichotomique. Exercice 6 ... 2.3 Preuve de terminaison et de correction de l'algorithme de recherche ...
2.5 Analyse de complexité de l'algorithme de recherche dichotomique. Exercice 6 ... 2.3 Preuve de terminaison et de correction de l'algorithme de recherche ...