| Introduction et rappels mathématiques |
2h00 |
|
|
|
| Conception et évaluation d'un algorithme |
4h00 |
6h00 |
|
|
| - conception d'un programme basé sur les invariants |
|
|
|
|
| - introduction à la preuve formelle de Hoare |
|
|
|
|
| - temps de calcul, complexité algorithmique, classe de problème |
|
|
|
|
| Problèmes de recherche : séquentiel, dichotomique, arrière |
2h00 |
|
|
|
| Représentation des ensembles et opérateurs ensemblistes |
4h00 |
2h00 |
8h00 |
|
| - tables de hachage ; arborescences (binaires, générales, de recherche) |
|
|
|
|
| - rappel : techniques de programmation en C |
|
|
|
|
| Problèmes de tris |
4h00 |
4h00 |
4h00 |
|
| - tris comparatifs : quicksort, heapsort, split-and-merge |
|
|
|
|
| - tris linéaires : tri par dénombrement |
|
|
|
|
|