Feuilles de TD
- TD1 : calcul propositionnel, compacité (26/01)
- TD2 : déduction naturelle (02/02 et 09/02)
- TD4 : sémantique 1er ordre, compacité propositionnelle (16/02)
- TD5 : sémantique, complétude et compacité 1er ordre (02/03)
- TD6 : arithmétique de Peano, fonctions représentables (21/03)
- TD7 : arithmétique de Peano, fonctions représentables (le retour) (30/03)
- TD8 : fonctions récursives et représentation (06/04)
- TD9 : théorèmes d'incomplétude (13/04)
- TD10 : théorie des ensembles (27/04)
- TD11 : ordinaux (04/05)
- TD12 : ordinaux et axiome du choix (11/05)
Devoirs
Liens