LIFAP2 : programmation fonctionnelle et 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