-
lom:general :
-
lom:identifier :
-
lom:catalog :
URI
-
lom:entry :
http://ori.unit-c.fr/uid/unit-ori-wf-1-1709
-
lom:title :
-
lom:string :
Programmation par contraintes
-
lom:language :
fre
-
lom:description :
-
lom:string :
La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.<br />
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.<br />
Lors de la troisième session de ce cours, on présentera l'algorithme de base utilisé pour résoudre les CSPs sur les domaines finis, algorithme basé sur l'énumération des combinaisons. On étudiera un certain nombre d'heuristiques et techniques de filtrage permettant d'améliorer cet algorithme.<br />
Lors de la quatrième session, on programmera ces différents algorithmes en Prolog, et on les utilisera pour résoudre différents CSPs modélisés lors des deux premières sessions de cours.<br />
La cinquième session de ce cours sera dédiée à la présentation d'un langage de programmation par contraintes, à savoir Gnu-Prolog.<br />
Enfin, les deux dernières sessions seront des sessions de travaux pratiques, où vous utiliserez les solveurs de contraintes intégrés à Gnu-Prolog pour résoudre les différents exercices vus lors des sessions précédentes.
-
lom:keyword :
-
lom:string :
programmation déclarative
-
lom:keyword :
-
lom:keyword :
-
lom:string :
solveur de contrainte
-
lom:keyword :
-
lom:string :
relation logique
-
lom:keyword :
-
lom:keyword :
-
lom:keyword :
-
lom:structure :
-
lom:source :
LOMv1.0
-
lom:value :
collection
-
lom:aggregationLevel :
-
lom:source :
LOMv1.0
-
lom:value :
3
-
lom:lifeCycle :
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
author
-
lom:entity :
BEGIN:VCARD
N:Solnon;Christine
FN:Christine Solnon
EMAIL;TYPE=INTERNET:
ORG:Université de Lyon 1
END:VCARD
-
lom:date :
-
lom:dateTime :
2003-09-01
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
publisher
-
lom:entity :
BEGIN:VCARD
N:UCL 1 - Université Claude Bernard
FN:UCL 1 - Université Claude Bernard
EMAIL;TYPE=INTERNET:
ORG:Université de Lyon I
END:VCARD
-
lom:date :
-
lom:dateTime :
2003-01-09
-
lom:metaMetadata :
-
lom:identifier :
-
lom:catalog :
URI
-
lom:entry :
http://ori.unit-c.fr/uid/unit-ori-wf-1-1710
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
creator
-
lom:entity :
BEGIN:VCARD
N:Gilles-Gallet;Isabelle
FN:Isabelle Gilles-Gallet
EMAIL;TYPE=INTERNET:
ORG:UNIT
END:VCARD
-
lom:date :
-
lom:dateTime :
2009-02-11
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
validator
-
lom:entity :
BEGIN:VCARD
N:Gilles-Gallet;Isabelle
FN:Isabelle Gilles-Gallet
EMAIL;TYPE=INTERNET:
ORG:UNIT
END:VCARD
-
lom:date :
-
lom:dateTime :
2009-02-13
-
lom:metadataSchema :
LOMv1.0
-
lom:metadataSchema :
LOMFRv1.0
-
lom:metadataSchema :
SupLOMFRv1.0
-
lom:technical :
-
lom:educational :
-
lom:learningResourceType :
-
lom:source :
LOMv1.0
-
lom:value :
lecture
-
lom:learningResourceType :
-
lom:source :
LOMv1.0
-
lom:value :
exercise
-
lom:intendedEndUserRole :
-
lom:source :
LOMv1.0
-
lom:value :
learner
-
lom:context :
-
lom:source :
LOMFRv1.0
-
lom:value :
licence
-
lom:typicalAgeRange :
-
lom:typicalLearningTime :
-
lom:description :
-
lom:string :
Ce cours est destiné aux étudiants de la e-miage, une formation informatique "à distance".
-
lom:rights :
-
lom:cost :
-
lom:source :
LOMv1.0
-
lom:value :
no
-
lom:copyrightAndOtherRestrictions :
-
lom:source :
LOMv1.0
-
lom:value :
yes
-
lom:description :
-
lom:string :
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
-
lom:classification :
-
lom:purpose :
-
lom:source :
LOMv1.0
-
lom:value :
discipline
-
lom:taxonPath :
-
lom:source :
-
lom:string :
Classification UNIT
-
lom:taxon :
-
lom:id :
1305
-
lom:entry :
-
lom:string :
Programmation : Algorithmique, langages, conception objet, programmes
-
lom:taxonPath :
-
lom:source :
-
lom:taxon :
-
lom:id :
005.11
-
lom:entry :
|