Suivez-nous Twitter de l'UVHCPage facebook de l'UPHF

Unité d'enseignement : Programmation logique

» Licence Informatique

Crédits ECTS : 2.5
Volume horaire : 30 Heures

Langue d'enseignement Français

• Présentation générale des systèmes formels • Logique propositionnelle • Eléments de logique des prédicats • Bases du langage PROLOG (éléments du langages, manipulation des listes, etc).

Compétences et savoirs enseignés

Fondements logiques et programmation logique

Références Bibliographiques

• The Art of Prolog, L. Sterling & E. ShabiroO, Edts Masson 1990 • Prolog, F. Gianesi, H. Kanoui, R. Pasero, M. Van Caneghem, InterEditions, 1985 • M. Alliot, T. Schiex, P. Brisset, F. Garcia, Intelligence Artificielle et Informatique Théorique, 2ème ed., 2002 • JP Delahaye Outils logiques de l'Intelligence artificielle, Eyrolles, 1988

Activités

DescriptionVolume Horaire
Cours Magistraux

9.0

Travaux Dirigés

12.0

Travaux Pratiques

9.0

Examens

Durée
Autre