Catalogue ECTS

Relations Internationales

Catalogue ECTS

Retour

SCIENCES

Licence 3 Sciences, Technologies, Santé mention Mathématiques et Informatique Appliquées aux Sciences Humaines et Sociales

Code LMAIN360804
Intutulé du cours Programmation Logique
Crédits 4
Période S6 du au
Type de cours Optionnel - Cours Magistral 10h00, Travaux Dirigés 5h00, Travaux Pratiques 2h00
Niveau de cours
Professeur
Objectifs du cours Prolog : • Exécution d'un programme, unification, recherche arborescente. • Récursivité. Prédicats de contrôle. Programmation Par Contraintes : • Problèmes de Satisfaction de Contraintes. • La propagation de contraintes. • Librairie de programmation par contraintes en Prolog. • Exemple d’applications
Prérequis
Contenu du cours Apprendre un langage de programmation par contraintes (PPC) : • comprendre l’intérêt de la PPC pour les problèmes combinatoires • apprendre le langage de programmation en logique Prolog • utiliser le solveur de PPC en Prolog pour résoudre un problème réel
Références bibliogaphiques
Méthodes d'enseignement
Méthodes d'évaluation
Langues d'enseignement
Lieux Angers