Ce cours est destiné aux étudiants Master 1 Informatique.

Le but est d'initier les étudiants à la programmation par contraintes à travers l'étude de la résolutions de certains problèmes combinatoires à l'aide du formalisme CSP (Problème de Satisfaction de Contraintes). 

L’objectif de ce cours est d’introduire les notions de modélisation et simulation des systèmes dynamiques et leurs applications à des problèmes réels et Initier les étudiants à l'utilisation d'outils pour la simulation sur ordinateur.