Site de l'Université | English version
	Programme des cours 2010-2011 Dernière mise à jour : 11/04/2011
	INFO0050-1   Programmation par contraintes Durée :   30h Th, 30h Pr Crédits/ECTS :   Master en ingénieur civil en informatique, à finalité approfondie, 2e année Toute l'année 5 Master en sciences informatiques, à finalité approfondie, 2e année Toute l'année 6 Titulaire(s) :   Pascal Gribomont Langue :   Langue française Aperçu général :   Introduction à la programmation par contraintes. Extension de Prolog permettant ce type de programmation. Exemples d'applications. Objectif du cours :   L'étudiant apprend à traduire un problème sous forme d'un ensemble de contraintes et à le résoudre en utilisant un des systèmes de programmation par contraintes disponibles (SWI-Prolog, CLP(R), ECLiPSe, Comet). Pré-requis :   INFO049-1 Organisation :   A fixer Evaluation :   Travaux pratiques individuels. Un examen oral. Contacts :   Pascal Gribomont gribomont@montefiore.ulg.ac.be Stéphane Lens lens@montefiore.ulg.ac.be Remarques :   http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html Accueil Recherche par faculté Recherche par enseignant Recherche par cours
	Administration de l'Enseignement et des Etudiants - Responsable de l'information : Monique Marcourt, Direction générale à l'Enseignement et à la Formation - Réalisation SEGI