Fondements de l'Informatique 2
Cours par Natacha Portier.
TDs avec Florent Becker.
Sujet du partiel de mi-semestre.
Calculabilité
- TD6: Théorème s-n-m, Théorème de Rice, PCP
Théorie des Modèles
- TD10: Compacité, Elimination des quanteurs
- TD11: Axiomatique de Peano