Programme d’études | English | ||
Constraint Programming | |||
Unité d’enseignement du programme de Master ingénieur civil en informatique et gestion à la Faculté Polytechnique |
Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
---|---|---|---|---|
UI-M2-IRIGIG-704-M | UE Obligatoire | TUYTTENS Daniel | F151 - Mathématique et Recherche opérationnelle |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
---|---|---|---|---|---|---|---|---|---|
| Anglais | 18 | 18 | 0 | 0 | 0 | 3.00 | 3.00 |
Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
---|---|---|---|---|---|---|---|---|
I-MARO-201 | Constraint Programming | 18 | 18 | 0 | 0 | 0 | Q1 | 100.00% |
Unité d'enseignement |
---|
Objectifs par rapport aux acquis d'apprentissage du programme
Acquis d'apprentissage UE
Comprendre les bases de la Programmation par Contraintes (Modèle, recherche, propagation et les relations entre celles-ci). Connaïtre les problèmes classiques de la Programmation par Contraintes. Etre capable construire une solution complète sous forme de Programmation par Contraintes pour des problèmes simples de satisfaction ou d'optimisation. Modéliser des problèmes sous forme de contraintes et exprimer ce modèle dans un langage de Programmation par Constraintes y compris l'expression de stratégies de recherche. Identifier des classes de problèmes où la Programmation par Contraintes peut être utilisée efficacement.
Contenu de l'UE
Contraintes et domaines. Problèmes de Programmation par Constraintes. Modèles et langages de Programmation par Contraintes. Méthodes et techniques de résolution de contraintes. Stratégies et techniques de recherche. Modélisation et résolutions de problèmes.
Compétences préalables
Sans objet
Types d'évaluations Q1 pour l'UE
Commentaire sur les évaluations Q1 de l'UE
Présentation orale résultant de l'application d'un solveur de Programmation par Contraintes pour la résolution d'une classe de problèmes (groupes composés de 2 ou 3 étudiants).
Commentaire sur les évaluations Q2 de l'UE
Sans objet
Types d'évaluation Q3 pour l'UE
Commentaire sur les évaluations Q3 de l'UE
Présentation orale résultant de l'application d'un solveur de Programmation par Contraintes pour la résolution d'une classe de problèmes (groupes composés de 2 ou 3 étudiants).
Commentaire sur les évaluations rattr. Q1 de l'UE
Sans objet
Types d'activités
AA | Types d'activités |
---|---|
I-MARO-201 |
|
Mode d'enseignement
AA | Mode d'enseignement |
---|---|
I-MARO-201 |
|
Supports principaux
AA | |
---|---|
I-MARO-201 |
Supports principaux non reproductibles
AA | Supports principaux non reproductibles |
---|---|
I-MARO-201 | Sans objet |
Supports complémentaires
AA | |
---|---|
I-MARO-201 |
Supports complémentaires non reproductibles
AA | Support complémentaires non reproductibles |
---|---|
I-MARO-201 | Sans objet |
Autres références conseillées
AA | Autres références conseillées |
---|---|
I-MARO-201 | Sans objet |
Reports des notes d'AA d'une année à l'autre
AA | Reports des notes d'AA d'une année à l'autre |
---|---|
I-MARO-201 | Autorisé |