La matière Algorithmique 1. Méthodologie de la programmation impérative propose :

• des compléments aux bases du langage C introduites par la matière Informatique : Bases de la programmation impérative, dont la construction structure, la gestion standard des flots, l'arithmétique des pointeurs, le type pointeur générique et la compilation séparée ;
• l'introduction et l'utilisation systématique de la logique de Hoare, laquelle est une démarche qui permet, simultanément, de construire un programme solution d'un problème posé et d'apporter la preuve que ce programme est bien solution du problème ;
• une introduction à l'analyse des algorithmes, cadre général qui permet d'évaluer l'efficacité des solutions et de les comparer ;
• un exposé de quelques-uns des problèmes à la fois classiques et fondamentaux en informatique avec certaines de leurs solutions en programmation impérative accompagnées de preuves et d'analyses.

Pré-requis : matière Bases de la programmation impérative.

Séances en amphi : 18 h, de TD : 24 h, de TP : 18 h.