Développer la rigueur scientifique par une étude systématique de la programmation. Acquérir les bases d'un langage structuré de programmation.
Familiarisation avec les outils mathématiques permettant de résoudre des problèmes classiques avec les différentes classes de solutions informatiques et avec la vérification de programmes. Perspective historique de la programmation et de l'informatique. Structure d'un ordinateur. Différentes stratégies de résolutions de problèmes concrets. Etude d'un langage de programmation. Programmation de problèmes faisant appel à différentes classes de solutions : itération, récursion. Outils formels pour la réalisation de programmes : logique, mathématique, récurrence. Eléments de vérification de programmes.
Horaire du cours à la session
hiver 2025
