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

Thomas Place, Marc Zeitoun (contact).

  • Test 1 : 23/9.
  • Test 2 : 30/9.
  • DS : 15/11 14h-17h A9/ Amphithéâtre 3.


* 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
    • Livre de Sylvain PĂ©rifel (Pdf).
    • Pierre Wolper, Introduction Ă  la calculabilitĂ©, Dunod (en français).
    • Sipser, Introduction to the Theory of Computation.
    • Papadimitriou, Computational Complexity.
    • Garey & Johnson, Computers and Intractability.