Calculabilité et Complexité (M1)

La première partie du cours (complexité) est enseignée par Valia Mitsou

Les sujets et TD sont au moins aussi importants que les notes de cours. Ils contiennent notamment des théorèmes dont l'énoncé et la (/une) preuve doivent être connus.

Le livre de Sipser : Introduction to the Theory of Computation (édition 2006) couvre l'ensemble du module. Certains pourront aussi trouver les notes de cours de Leonore Blum pertinentes.