Algorithmique 2
- Code de l'UE IHDCB331
-
Horaire
30 30Quadri 1
- Crédits ECTS 10
- Langue
- Professeur Schobbens Pierre-Yves
L'étudiant sera capable de :
Apprendre une démarche rigoureuse de construction de programmes efficaces: l'algorithmique.
Toutes les méthodes reposent sur la démarche de spécification formelle, implémentation et preuve. L'évaluation de l'efficacité d'un problème est basée sur un calcul du temps d'éxécution et de consommation de la mémoire (théorie de la complexité) La récursion sert de base à ce cours.
Des méthodes systématiques de construction de programmes efficaces seront présentées:
Pour mettre en oeuvre ces algorithme, on étudiera les structures de données récursives: arbres, arbres rouges-noirs, B-arbres, etc.
Partie 0. Rappels: Spécification par pré et et post-conditions, preuves par invariants et variants. Evaluation du temps d'éxécution. Récursion.
Partie I. Méthodes de construction de programmes:
Partie II. Structures de données récursives: listes, arbres, arbres rouges-noirs, etc.
Les séances d'exercices sont organisées selon un triple perspective.
Un cours magistral illustré de nombreux exemples, plus des travaux pratiques. Les étudiants sont également invités à faire des exercices à domicile. Un mini-projet récapitule la matière et prépare à l'examen.
Le cours suit une partie du livre: Introduction à l'algorithmique, de T. Cormen, C. Leiserson, R. Rivest, C. Stein (ed. Dunod pour la version française).
Formation | Programme d’études | Bloc | Crédits | Obligatoire |
---|---|---|---|---|
Bachelier en sciences informatiques (horaire décalé) | Standard | 0 | 10 | |
Bachelier en sciences informatiques (horaire décalé) | Standard | 3 | 10 |