Automates et Logique

Année 2019/2020

Master 2 Informatique et Mathématiques Discrètes

Intervenants - Evaluation - Documents

Intervenants

Pierre-Alain Reynier
Lionel Vaux

Evaluation

Deux devoirs maison (un en logique, en en automates)

Examen terminal : deux examens écrits de 2h, fin novembre.

Documents

Pour la partie portant sur les automates, les informations complémentaires ainsi que les documents sont mis en ligne sur cette page.
Pour la partie portant sur la logique, les informations sont en ligne sur cette page.