Cours de Logique du Magistère Math-Info (Ulm) 2003-2004
Travaux Dirigés assurés par Thomas Chomette:
Textes des TD
Partiel et examen:
Texte du Partiel du 28 Novembre 2003
Format pdf,
Format postscript.
Texte de l'examen du 29 Janvier 2004
Format pdf,
Format postscript.
Devoir 1 (décembre 2003):
Texte du devoir: calcul des prédicats, compacité
Format pdf,
Format postscript.
Notes complémentaires au cours
Notes 0: Théorème de complétude du calcul propositionnel (4 Novembre 2003)
Format postscript,
Format pdf.
Notes 1: Calcul des Prédicats, premières définitions. (22 octobre 2003)
Format postscript,
Format pdf.
Notes 2: Théorie des modèles, premiers résultats. Plongements élémentaires, Test de Tarski-Vaught, Löwenheim-Skolem descendant. (4 Novembre 2003)
Format postscript,
Format pdf.
Notes 3: Théorie des modèles (suite): théorème de compacité et applications, méthode des diagrammes, ensembles définissables. (21 novembre 2003)
Format postscript,
Format pdf. Correction sur la version distribuée en cours: section 8.2, page 8 "..le plongement canonique de F_n dans F_m pour n inférieur ou égal à m ..."
Notes 4: Théorèmes de complétude et de compacité. (25 novembre 2003)
Format postscript,
Format pdf.
Notes 5: Théorèmes d'incomplétude, bref résumé. (NOUVELLE VERSION 25 janvier 2004)
Format postscript,
Format pdf.
Notes 6: Théorie des ensembles: Résumé des premières définitions.(23 décembre 2003)
Format postscript,
Format pdf.
Notes 7: Théorie des ensembles (suite): Ordinaux, ensembles bien ordonnés. Axiome du choix.(14 janvier 2004)
Format postscript,
Format pdf.
Notes 8: Théorie des ensembles (fin): Cardinaux.(20 janvier 2004)
Format postscript,
Format pdf.
retour à la page principale