• 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 3022, Bâtiment Sophie Germain). L'enseignement a lieu le premier semestre. L'horaire du cours est le suivant :
  
  

  Jour	Heure	Salle
  Jeudi	8h30	279F (Halle)



• 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
  Vendredi	8h30	2032 (SG)

Calendrier et documents :



Semaine du	Contenu
18 septembre	Introduction (Transparents) TP1 bio.pl
25 septembre	Listes (Transparents) TP 2
2 octobre	Divers (Transparents) TP 3 master.pl
9 octobre	Générer et tester (Transparents) TP 4
16 octobre	Jeux (Transparents) TP 5
23 octobre	Divers (Transparents) TP 6
30 octobre	Pause
6 novembre	Partiel et Introduction Contraintes et Contraintes linéaires (Transparents)
13 novembre	Contraintes linéaires (Transparents, TP 7, credit.pl)
20 novembre	Contraintes sur un domaine fini (Transparents, TP 8/9, moneycanvas.pl, sudokuex.pl, nonogramme.pl)
27 novembre	Contraintes sur un domaine fini (suite)
4 décembre	Optimisation (Transparents, TD 10)
11 décembre	Modélisation (Transparents, TD/TP 11)



• Evaluation : La note finale est calculée comme comme 1/2 partiel + 1/2 examen (Les deux sont obligatoires)
• Le partiel aura lieu le 9 novembre
• L'examen aura lieu en janvier 2024 (Notes)
• Archives Prolog
• 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