Calculabilité et Complexité (11X008)
Enseignant : Arnaud Casteigts
Assistants : Matteo de Francesco et Margaux Marseloo
Monitrice : Elie Bussod et Naziha Beghdadi
Préambule : [slides]
Pages du cours
- sur moodle (supports, informations, modalités d’examens, etc.)
- sur unige (informations administratives)
- années précédentes (attention : contenu potentiellement différent)
Notes de cours
- Survol du module : [slides]
- Cours 1 : Problèmes & Machines [notes de cours]
- Cours 2 : Simulation et opération sur les langages [notes de cours]
Pour aller plus loin
Une partie du cours s’inspire de “Introduction to the Theory of Computation (Michael Sipser)”. Une autre s’inspire de “Computational Complexity (Sanjeev Arora et Boaz Barak)”. D’autres parties sont composées à partir de ressources variées, dont certains articles Wikipédia.
Enfin, le livre “Quantum Computing Since Democritus (Scott Aaronson)” est une mine d’information qui recroise une bonne partie du cours (et explore beaucoup d’autres sujets). Sa lecture est exigeante, mais elle en vaut la peine !