URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7099 Introduction Constraint Programming fre This first module introduces basic constraints in constraint programming. Constraint programming is used to represent a problem so as succinct, ie ideally with few variables and few constraints. The first part explain in natural langage a programming constraint and give interpreting of the notation used. The second part focus on the constraint "alldifferent", and the last part focus on the constraint "element". At the end of this module the learner will be able to understand the different facets of a constraint. He will become familiar with the two most important global constraints: alldifferent and element. programmation par contraintes constraint programming problème combinatoire problème de satisfaction de contraintes Constraint Satisfaction Problem propagation de contraintes algorithme de recherche de solution alldifferent constraint element constraint LOMv1.0 linear LOMv1.0 3 LOMv1.0 texte LOMv1.0 ressource interactive LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:BELDICEANU;Nicolas;;; FN:Nicolas BELDICEANU EMAIL;TYPE=INTERNET: ORG:IMT Atlantique END:VCARD 2015-06-18 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:IMT Atlantique;;;; FN:IMT Atlantique EMAIL;TYPE=INTERNET: ORG:IMT Atlantique END:VCARD 2015-06-18 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:UNIT;;;; FN:UNIT EMAIL;TYPE=INTERNET: ORG:UNIT END:VCARD 2015-06-18 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7100 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 text/html https://www.pairform.fr/doc/1/14/43/web/co/IntroConstraintProgramming.html LOMv1.0 lecture LOMv1.0 self assessment LOMv1.0 questionnaire LOMv1.0 learner LOMv1.0 teacher LOMv1.0 higher education PT10H fre LOMv1.0 no LOMv1.0 yes Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf LOMFRv1.0 est associée à URI https://www.pairform.fr/doc/1/14/24/web/co/coreconstraint.html Constraints programming LOMFRv1.0 est associée à URI http://sofdem.github.io/gccat/ Global Constraint Catalog LOMv1.0 discipline CDD 22e éd. 005.13 Génie Logiciel : Langage de programmation en général Classification UNIT 1305 Programmation : Algorithmique, langages, conception objet, programmes LOMv1.0 security level Projet OCW France tag-ocw Catalogue OCWC unit-cofinance home-example