TD Logique et Calculabilité 2009/10
Les exercises
- de 16 septembre: PDF
- de 23 septembre: PDF
- de 30 septembre: PDF
- de 7 octobre: PDF
- de 14 octobre: PDF
- de 21 octobre: PDF
- de 4 novembre: PDF
Preuves de la complétude réfutationelle: PDF
Solution du devoir: PDF
Page principale du cours: lien
Responsable: Stefan Schwoon