5.00 crédits
30.0 h + 15.0 h
Q2
Enseignants
Schaus Pierre;
Langue
d'enseignement
d'enseignement
Thèmes abordés
- Contraintes et domaine
- Aspects pratiques de solvers de contraintes
- Problèmes de satisfaction de contraintes (CSP)
- Modèles et langages de programmation par contraintes - Méthodes et techniques de résolution de contraintes (consistance, relaxation, optimisation, recherche, intervalles, programmation linéaire, contraintes globales, ...)
- Stratégie et technique de recherche
- Modélisation et résolution de problèmes (domaines finis et domaines continus)
- Applications à la résolution de classes d'applications (par exemple, planification, ordonnancement, allocation de ressources, économie, robotique)
Acquis
d'apprentissage
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
| 1 |
Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
|
Contenu
- La programmation par contraintes: un paradigme de programmation déclarative
- Architecture d’un solveur de programmation par contraintes
- Contraintes globales et techniques d’implémentation (incrémentalité, etc)
- Stratégie et technique de recherche
- Modélisation et résolution de problèmes d’optimisation combinatoires à l’aide de la programmation par contraintes
- Applications à la résolution de classes d'applications (par exemple, planification, ordonnancement, allocation de ressources, économie, robotique)
Méthodes d'enseignement
Les étudiants suivront un MOOC sur la plateforme EdX (vidéos) et il y aura des exercices de programmation et des quizz notés sur inginious.
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
Pour la première session, la note globale du cours est uniquement basée sur les notes des projets informatiques, soumis et évalués au cours du semestre.
Les projets ne sont pas réévalués pour la deuxième session et ne peuvent pas être soumis à nouveau.
Les notes des projets sont conservées telles quelles représentant 50% et les 50% restants sont évalués par un examen écrit ou, le cas échéant, sur ordinateur.
Les projets sont individuels. Cela signifie que tout code source d'un projet
- copié ou inspiré par celui d'un autre étudiant, ou
- copié ou inspiré d'un code source trouvé sur internet ou une autre source,
se traduira par une note nulle pour l'étudiant aux projets et à l'examen
Les mêmes conséquences s'appliqueront à un étudiant qui partage volontairement son code ou le met à la disposition d'autres étudiants.
Les projets ne sont pas réévalués pour la deuxième session et ne peuvent pas être soumis à nouveau.
Les notes des projets sont conservées telles quelles représentant 50% et les 50% restants sont évalués par un examen écrit ou, le cas échéant, sur ordinateur.
Les projets sont individuels. Cela signifie que tout code source d'un projet
- copié ou inspiré par celui d'un autre étudiant, ou
- copié ou inspiré d'un code source trouvé sur internet ou une autre source,
se traduira par une note nulle pour l'étudiant aux projets et à l'examen
Les mêmes conséquences s'appliqueront à un étudiant qui partage volontairement son code ou le met à la disposition d'autres étudiants.
Autres infos
Des bases solides en algorithmique et structures de données sont nécessaires pour pouvoir suivre ce cours ainsi qu'une bonne maitrise de java
Ressources
en ligne
en ligne
Bibliographie
Le site www.minicp.org + lectures suggérées pendant le semestre
Faculté ou entité
en charge
en charge
INFO
Programmes / formations proposant cette unité d'enseignement (UE)
Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
d'apprentissage
Master [120] : ingénieur civil en informatique
Master [120] en sciences informatiques
Master [120] : ingénieur civil en science des données
Master [120] en science des données, orientation technologies de l'information