LIFAPR : algorithmique et programmation récursive
Première année de licence Informatique
Programme : programmation fonctionnelle et récursive,
et sa mise en pratique par le langage Scheme. Les notions
essentielles introduites sont les suivantes : la récursivité, la
structure de données liste et la structure de données arbre.
LIFprolog : programmation logique
Deuxième année de licence Informatique
Programme : programmation en Prolog,
applications à des jeux logiques, introduction à l’Intelligence
Artificielle.
Bases de l'Intelligence Artificielle
Première année de master Informatique
Programme : introduction à l’Intelligence
Artificielle, modélisation et résiolution de problèmes, logique,
recherche dans un graphe d'états, CSP, système à base de règles,
langage Prolog