Julien MELLERAY

Accueil Publications Enseignements Etudiants Divers English version

Introduction à la Logique Mathématique (M1) 2015-2016 Les TDs sont assurés par T. Altinel . Voici d'anciennes notes de cours de théorie des ensembles et de théorie des modèles. En voici une version plus récente et plus dense: théorie des modèles, théorie des ensembles. Et les 1ere, 2eme, 3eme, 4eme, 5eme, 6eme, 7eme et 8eme feuilles de TD. Voici le sujet du DM de théorie des ensembles et un corrigé de l'exercice 2, ainsi que le sujet du partiel. L'exercice 3 était tiré d'un sujet de Martin Hills pour lequel il avait écrit un Corrigé. Les notes de cours de Patrick Dehornoy fournissent également une bonne ressource bibliographique pour ce cours.