Frédéric Fürst
Maître de Conférences
Laboratoire MIS
tél.
: 03 22 82 59 23
mail
: frederic.furst [@] u-picardie.fr
Coordonnées
Enseignements
Algorithmique et
Programmation
Intelligence
Artificielle
Mathématiques
Programmation logique
Programmation en ADA
Programmation
Objet 1
Compléments de Java
Systèmes à Base
de Connaissances
Histoire de l'IA
Modélisation
Objet
Recherche
Laboratoire MIS
Programmation logique
Supports de cours
Introduction à la programmation logique - Syntaxe de base de Prolog
Résolution en logique - Théorème de Herbrand - Unification
Mécanismes Prolog - Arithmétique - Opérateurs
Listes en Prolog - Contrôle du mécanisme Prolog - Coupure
Gestion des flux - Prédicats dynamiques - Métaprogrammation
Travaux Dirigés
TD1 - Syntaxe - Résolution
TD2 - Arithmétique - Listes
TD3 - Arbres/Graphes - Coupure
Annales des examens
Examen 2005/2006
Examen 2006/2007
Examen 2007/2008
Examen de 2e session 2005/2006
Examen de 2e session 2006/2007
Examen de 2e session 2007/2008