Calculabilité et complexité
Le module de calculabilité et complexité est accompagné de trois devoirs maison rédigés à quatre. Le premier traite des propriétés de clôture et de l'énumération, le deuxième des réductions et de la décidabilité. Le troisième relie le problème de Post, les systèmes semi-thuéiens et les machines de Turing.
Ressources
Slides de l'enseignant1 document
Sujet de TD1 document
Devoirs maison3 documents