Calculabilité et Complexité (M1) La première partie du cours (complexité) est enseignée par Valia Mitsou Sujets de TD 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. TD1 TD2 TD3 TD4 Références 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.