Algorithmique 1
- Code de l'UE IHDCB232
-
Horaire
30 30Quadri 1
- Crédits ECTS 10
- Langue
- Professeur Vanhoof Wim
A l'issue de ce cours l'étudiant sera capable de raisonner formellement sur la correction d'un programme de petite taille et de calculer sa complexité. Et il aura une maîtrise de la logique de Hoare comme technique de preuve de correction. Il maîtrisera les techniques de bases de l'algorithmique.
L'objectif de ce cours est de familiariser l'étudiant à un raisonnement formel sur les programmes (en termes de correction et de complexité) et de lui enseigner une démarche rigoureuse de construction de programmes de petite taille.
Ce cours introduit l'étudiant au raisonnement formel par rapport aux programmes. Nous étudions les concepts principaux sous-jacents à la spécification d'un programme. Nous apprenons des techniques qui permettent de prouver la correction d'un programme par rapport à sa spécification. Ensuite, et à partir de ces techniques, nous arrivons à une méthodologie de construction qui permet la réalisation d'un programme à priori correct. Nous introduisons également les notions de base derrière le calcul de complexité (en temps et en espace) d'un programme et on étudie quelques d'algorithmes de recherche et de tri.
L'évaluation des étudiants se fait sur base de deux aspects.
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 | 2 | 10 |