Page des TD du cours de logique d'Adrien Deloro à l'ENS

(premier semestre 2021-2022)

Informations

La page du cours est disponible ici. Elle contient notamment les notes de cours, des informations sur l'organisation pratique du cours, le calendrier et des références bibliographiques.

Emploi du temps

Il y a deux créneaux de TDs par semaine. Le contenu de chacune de ces deux scéances hebdomadaires sera essentiellement le même (ne venez donc pas aux deux). Les scéances sont : le merdredi de 15h à 17h et le vendredi de 17h15 à 19h15, toutes deux en salle Cartan.

Partiel

Semaine du 8 au 12 novembre.

• Le sujet.
• Le corrigé.

Examen

date à venir.

Les feuilles de TD

• TD1 : Variations sur Cantor et son corrigé.
• TD2 : Ordinaux et topologie et son corrigé.
• TD3 : Algèbre de Boole et satisfaction et son corrigé.
• TD4 : Définissabilité et calcul des séquents et son corrigé.
• TD5 : Complétude et compacité et son corrigé.
• TD6 : Méthode des diagrammes, Löwenheim-Skolem et catégoricité et son corrigé.
• TD7 : Ultra-trucs; espace de types et son corrigé.
• TD8 : Va-et-vient ; ACF & friends et son corrigé.
• TD8.5 : Pour en finir avec la théorie des modèles et son corrigé (ne sera pas traitée en scéance).
• TD9 : Théorèmes d'incomplétude et son corrigé.
• TD10 : Axiomatique de ZF et son corrigé.
• TD11 : Axiome du choix et cardinaux et son corrigé.
• TD12 : Hiérarchies cumulatives, modèles intérieurs et son corrigé.

Des sujets d'étude pour s'amuser :

• Complétude et compacité : logique propositionnelle, logique infinitaire.
• Arithmétique de Presburger : une axiomatisation complète des entiers munis de l'addition.