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