Informatique, Master CSI, Théorie de la Complexité

Thomas Place, Marc Zeitoun (contact).


* Prérequis : vocabulaire des ensembles et raisonnement mathématique.
Vidéos du MOOC préparatoire, Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur de Henri Lemberg et Magali Rocher : Vidéos du MOOC.


  • Bibliographie
    • Pierre Wolper, Introduction Ă  la calculabilitĂ©, Dunod (conseillĂ© particulièrement pour la première partie, en français).
    • Sipser, Introduction to the Theory of Computation.
    • Livre de Sylvain PĂ©rifel (Pdf). Aborde des notions allant bien au delĂ  du cours.
    • Papadimitriou, Computational Complexity.
    • Garey & Johnson, Computers and Intractability. Collection de problèmes NP-complets.