Le cours a lieu tous les lundi en salle 2016 (bât. Sophie Germain).
Le cours est en deux parties, la première porte sur la calculabilité et suit fidèlement le chapitre 5 de Logique mathématique (volume 2), de René Cori et Daniel Lascar. La seconde porte sur la complexité, et nous suivons les quatre premiers chapitres de Complexité Algorithmique, de Sylvain Périfel.
Le TD a lieu tous les mardis à 13h15 en salle 476F (halle aux farines), et un jeudi sur deux à 13h45 en salle 1015 (bât. Sophie Germain).
Un début de poly est disponible. Il contient des erreurs, merci de me les signaler !