Programmation par contraintes
Code UE : US331K
- Cours
- 3 crédits
Responsable national
Christophe PICOULEAU
Responsable opérationnel
Christophe PICOULEAU
Compétences visées
Comprendre les notions fondamentales (propagation, branchement, consistance, etc) et savoir utiliser des solvers.
Contenu
Many computational problems can be described in terms of restrictions imposed on possible solutions. Constraint Programming is a problem-solving technique that works by incorporating such restrictions into a programming environment. Constraint Programming draws on methods from artificial intelligence, logic programming, and operations research. It has been successfully applied in a number of fields such as scheduling, computational linguistics, and computational biology. The aim of this course is to : create an understanding of the fundamental concepts underlying constraint programming, develop skills in modelling combinatorial problems, present fundamental efficient algorithms to solve these problems, and develop skills in taking advantage of strong algorithmic techniques. To achieve these goals, the course will cover the following topics : modelling combinatorial problems using constraint programming, constraint satisfaction problems and notions of consistency, efficient algorithms for fundamental problems such as linear diophantine equation systems, temporal reasoning problems, set constraints, linear programs, constraint unification problems, and phylogenetic reconstruction, a generic architecture for solving constraint problems using propagation and search, applications of constraint programming
Cette UE apparaît dans les diplômes et certificats suivants
Rechercher une formation
RECHERCHE MULTI-CRITERES
-
Vous pouvez sélectionner des formations, en recherchant une chaîne de caractères présente dans l’intitulé ou dans les index (discipline ou métier visé): ex: "documenta".
Des index vous sont suggérés à partir du 3e caractère saisi, mais vous pouvez aussi saisir librement tout autre mot . - Les différents items sélectionnés sont croisés.
ex: "Comptabilité" et "Région Grand Est" - Validez par le bouton « Rechercher » ou par la touche Entrée.
- Cette recherche affiche aussi les fiches UE et certificats régionales. Leurs codes les distinguent des fiches nationales par le suffixe de la région (ex : « -IDF » ).
Par défaut, les fiches régionales reprennent le contenu de la fiche nationale correspondante. Mais dans certains cas, des informations régionales ont pu être ajoutées. - Certains certificats se déclinent selon plusieurs parcours. Pour afficher tous les parcours, tapez la racine du code (ex : « LG035 »).
- Certains stages ont un double code : leur code propre et le code de l’UE ou du certificat équivalent.
- Dans tous les cas, veillez à ne pas insérer d'espace ni de ponctuation supplémentaire.
- Validez par le bouton « OK » (et non pas par la touche Entrée)
Chargement du résultat...

Type |
Intitulé |
Equipe pédagogique |
Modalité(s) / Lieu(x) |
Code |
|
---|---|---|---|---|---|
Type
Diplôme/ certificat
|
Equipe pédagogique
Informatique
|
Modalité(s) / Lieu(x)
|
Code
MR11602A
|
||
Type | Intitulé | Equipe pédagogique | Modalité(s) / Lieu(x) | Code |
Contact
Recherche opérationnelle
2D4P20, 33-1-10, 2 rue Conté
75003 Paris
Tel :01 40 27 22 67
secretariat.ro@cnam.fr
2D4P20, 33-1-10, 2 rue Conté
75003 Paris
Tel :01 40 27 22 67
secretariat.ro@cnam.fr
Voir les sites
Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation
Enseignement non programmé en 2017/2018
Code UE : US331K
- Cours
- 3 crédits
Responsable national
Christophe PICOULEAU
Responsable opérationnel
Christophe PICOULEAU
Dans la même rubrique
- Accueil
- Comment se former ?
- Rechercher par discipline
-
Rechercher par métier
- > Action publique - Services aux collectivités
- > Action publique - Services aux institutions de santé
- > Actions juridiques
- > Analyse et mesure
- > Assurance - Banque - Finance
- > Bâtiment - Génie civil - Géotechnique
- > Biologie - biochimie appliquée à l'agroalimentaire
- > Commerce Marketing
- > Communication - Information - Diffusion de la culture
- > Comptabilité - contrôle - audit
- > Électronique - Automatisme
- > Électrotechnique
- > Énergies
- > Formation des adultes
- > Génie des procédés chimiques et pharmaceutiques
- > Gestion des ressources humaines
- > Hygiène et sécurité du travail
- > Industries chimiques, cosmétiques et pharmaceutiques
- > Informatique
- > Management et organisation du travail en entreprise
- > Matériaux
- > Mathématiques
- > Mécanique - Acoustique - Aérodynamique
- > Santé - Travail social et médiation
- > Transport - Logistique - Tourisme
- > Union européenne et relations internationales
- > Veille - Innovation - Prospective
- Rechercher par région
- Catalogue de l'alternance
- Catalogue de la formation à distance
- Catalogue des stages et formations en journée
- Valider ses acquis