M1 informatique 2017–2018



Enseignants

Cours

  1. Introduction [slides]
  2. Modélisation LP [slides]
  3. L’algorithme du simplexe
  4. L’algorithme du simplexe et dualité [slides]
  5. SAT [slides]
  6. SAT [slides]

TD

  1. Modélisation graphes, LP, SAT [feuille]
  2. Modélisation LP [feuille]
  3. LP sur machine [feuille]
  4. L’algorithme du simplexe [feuille]
  5. SAT sur machine [feuille]
  6. SAT [feuille]

Devoirs

Examen (08/01/2018)

L’examen aura lieu le lundi 8 janvier de 14h à 16h dans l’amphi A3, Rabelais. Une feuille recto-verso manuscrite autorisée. Calculatrices, ordinateurs et téléphones portables interdits

Exemples

  • L’algorithme du simplexe [exemple]

Bibliographie

Outils