Sommaire
cours / présentation, autoévaluation, questionnaire
Constraints programming
This second module deals with application-oriented constraints.
At the end of this module, the learner will be able to master the core constraints....
Date de création :
18.06.2015Auteur(s) :
Nicolas BELDICEANUAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, autoévaluation, questionnaire
Temps d'apprentissage : 10 heures
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, ressource interactive
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML
Droits d'auteur : pas libre de droits, gratuit
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
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
Description de la ressource
Résumé
This second module deals with application-oriented constraints. At the end of this module, the learner will be able to master the core constraints.
- Granularité : cours
- Structure : linéaire
"Domaine(s)" et indice(s) Dewey
- Génie Logiciel : Langage de programmation en général (005.13)
Domaine(s)
- Informatique
- Programmation : Algorithmique, langages, conception objet, programmes
- Informatique
Intervenants, édition et diffusion
Édition
- IMT Atlantique
- UNIT
Diffusion
Cette ressource vous est proposée par :
Document(s) annexe(s)
- Cette ressource est associée à
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7101
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7101
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
15.06.2015
Description
:
Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.
- 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
- global constraint
- graph
- automaton
- first order formula
- symmetry,; ...
18.06.2015
Description
:
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 ...
- 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