Page du TD de logique du premier ordre (M1)

Le TD a lieu tous les mardis à 15h45 en salle 405B (halle aux farines), et un jeudi sur deux à 13h45 en salle 1015 (bât. Sophie Germain). Le cours est assuré par Tomás Ibarlucía, il suit le poly d'Antoine Chambert-Loir disponibles sur sa page web.

Devoirs

• DM1 et son corrigé.
• DM2 à rendre mardi 28 novembre.
• DM3 à rendre mardi 5 décembre.

Exercices

• TD1: Des ordres et son corrigé.
• TD2: Cardinalité, axiome du choix et son corrigé.
• TD3: Calcul propositionnel et son corrigé.
• TD4: Propriétés du premier ordre, morphismes, plongements et son corrigé.
• TD5: Plus de compacité et son corrigé.
• TD6: Applications du théorème de compacité. et son corrigé.
• TD7: Preuves formelles et son corrigé.
• TD8: Complétude du calcul propositionnel et son corrigé.
• TD9: Compléments sur les corps et son corrigé.