INGIniousIHDCB232 - Algorithmique 1
A propos de ce cours
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.
3. Techniques de preuves de programmes itératifs [Séance 3]