Objectifs de l'enseignement :
L’objectif de ce module est d’harmoniser les connaissances dans des domaines théoriques de l’informatique pour les étudiants venant de filières où ces éléments sont insuffisamment traités. Il s’agit ici de renforcer les étudiants dans les domaines de l’informatique théorique en leur présentant différents modèles mathématiques (les automates, les graphes et les arbres) qui formalisent des méthodes de calcul liées à la théorie des langages ou à celle de la complexité des algorithmes. Les étudiants doivent acquérir les connaissances leur permettant de construire des algorithmes efficaces.