Page du TD de logique du premier ordre (M1)

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

Examen le mardi 8 janvier de 8h30 à 11h30, en salle 2014 (bât. Sophie Germain).

Devoirs

• DM1 et son corrigé.
• DM2 à rendre mardi 20 novembre.

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é.
• TD bonus et son corrigé.
• TD6: Applications du théorème de compacité. et son corrigé.
• TD7: Va-et-vient, catégoricité.
• TD8: Preuves formelles et son corrigé.
• TD9: Complétude du calcul propositionnel.

Progression

• Semaine du 10 septembre: TD 1 mardi et jeudi.
• Semaine du 17 septembre: TD 2 mardi.
• Semaine du 24 septembre: TD 2 mardi, TD 3 jeudi.
• Semaine du 1er octobre: TD 3 mardi.
• Semaine du 8 octobre: TD 4 mardi, TD 5 jeudi.
• Semaine du 15 octobre: TD 5 et TD bonus mardi.
• Semaine du 22 octobre: fin TD bonus, début du TD 6.
• Semaine du 29 octobre: vacances.
• Semaine du 5 novembre: TD 6.
• Semaine du 12 novembre: TD 6 avec les ultraproduits.
• Semaine du 19 novembre: TD 7
• Semaine du 26 novembre: fin TD7 mardi, TD 8 jeudi
• Semaine du 3 décembre: Complétude du calcul propotitionnel