LIF3 : algorithmique et 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
IA6 : EIAH
Deuxième année de master Informatique, parcours Intelligence Artificielle
Programme : IA pour les EIAH, Learning Analytics, suivi de l'apprentissage, modèles et profils d'apprenants, personnalisation de l’apprentissage, Adaptive Learning, conception des EIAH, évaluation dest usages des EIAH dans l’enseignement, serious games.