• Organisation (cours, TD, évaluation)
• Liens (pages web)

Organisation

• Cours : Le responsable du cours est Peter Habermehl (adresse e-mail Peter.Habermehl(at)irif.fr, Bureau 3009, Bâtiment Sophie Germain). L'enseignement a lieu le premier semestre après la première partie du cours qui est une introduction à PROLOG. L'horaire du cours est le suivant :
  
  

  Jour	Heure	Salle
  Jeudi	8h30	1001 (SG)



• TD/TP : Le responsable du TD/TP est Peter Habermehl. En général, les sujets des TD/TP suivent à peu près le cours de la même semaine. L'horaire des TDs/TPs est le suivant :
  
  

  Jour	Heure	Salle
  Jeudi	10h45	2027 (SG)

Calendrier et documents :



Jour	Contenu	Documents
14 novembre	Introduction Contraintes et Contraintes linéaires	Transparents, TD/TP 1, credit.pl
21 novembre	Contraintes linéaires, Algorithme de Fourier-Motzkin, Contraintes sur un domaine fini	Transparents, TD/TP 2
28 novembre	Contraintes sur un domaine fini (suite)	Transparents, TP 3, moneycanvas.pl, sudokuex.pl, nonogramme.pl
5 décembre	Compléments contraintes sur un domaine fini
12 décembre	Optimisation	Transparents, TD 5
19 décembre	Modélisation	Transparents, TP 6



• Evaluation : La note finale est calculée comme comme 1/2 partiel + 1/2 examen (Les deux sont obligatoires)
• Le partiel aura lieu le 7 novembre 2024
• L'examen aura lieu le 6 janvier 2025 à 9h (Salle 1021 SG)
• Notes finales
• Archives Contraintes
  • Sujet de 2020, Corrigé
  • Sujet 2015, Corrigé, Solution Exercice 2, Solution Exercice 4, Solution Exercice 5
  • Enoncé 2012/2013
  • Corrigé 2012/2013
  • Examen de janvier 2011
    • Enoncé et Corrigé
    • Solution spécifique et générale de l'exercice sur l'emploi du temps
    • Solution spécifique et générale de l'exercice sur Inshi no heya
  • Examen de janvier 2012
    • Enoncé et Corrigé

Liens