Programmation II

Après une introduction des concepts clés liées aux notions d'algorithme et de programme, nous étudions les éléments de base de la programmation impérative : la variable, l'affectation et les structures de contrôle (séquence, séletion, et itération). Nous prêtons attention au raisonnement formel sous-jacent à la programmation en particulier pour la construction des boucles (méthode de l'invariant) et la réalisation d'un calcul itératif. Nous étudions les sous-programmes en y incluant le passage des paramètres (passage des valeurs et passage des références) et insistons sur leur utilisation afin de structurer un programme. On étudie l'usage des tableaux et des structures et on introduit quelques notions clés de l'algorithmique et du calcul de complexité. Le langage de programmation utilisé dans ce cours est C, bien que les concepts étudiés et la méthodologie acquise soient indépendants d'un langage particulier.