M1 informatique 2019–2020


Annonce 07/02/2020

  • Le corrigé de l’examen du 10/01/2020 est en ligne. Voir ci-dessous.

Annonce 11/12/2019

  • Le cours du jeudi 12/12/2019 sera maintenu mais raccourci.
  • Vous pouvez rendre le devoir par mail avant le cours 12/12/2019.

Annonce 05/12/2019 (mise à jour 11/12)

  • Le cours jeudi 05/12/2019 a été court. Les slides sont en ligne à étudier pour préparer le td 5 (énoncé en ligne). Je réponds aux questions sur le cours par mail ou dans mon bureau.
  • Le devoir 2 a été distribué (énoncé en ligne). A rendre sur la feuille distribuée en personne au cours le 12/12/2019. Les feuilles qui restent sont au secrétariat.
  • L’énoncé du td 6 (sur machine) est en ligne. A lire impérativement avant la séance.

Enseignants

Cours

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

TD

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

Examples

  • Deux exemples de l’algorithme du simplexe [pdf]
    (voir également les examens des années précédentes)

Examen (10/01/2020)

L’examen aura lieu le vendredi 10 janvier de 14h à 16h dans l’amphi A3, Rabelais. Une feuille recto-verso manuscrite autorisée. Calculatrices, machines, smartphones, smartwatches interdits.

Rattrapage (31/08/2020)

Le rattrapage aura lieu le lundi 31 août de 14h à 16 dans la salle 2V070, Copernic. Une feuille recto-verso manuscrite autorisée. Calculatrices, ordinateurs et téléphones portables interdits.

Bibliographie

Outils