Julien MELLERAY

Accueil Publications Enseignements Etudiants Divers English version

Introduction à la Logique Mathématique (M1) 2016-2017 Cours et TDs assurés par J. Melleray et T. Blossier . Voici les notes de cours pour la partie théorie des ensembles (version légèrement modifiée d'anciennes notes de cours; attention aux typos...) et une version encore en travaux des notes de cours pour la partie théorie des modèles. Et les 1ere, 2eme 3eme, 4eme, 5eme, 6eme (avec une correction de l'exercice 6) et la 7eme feuilles de TD. Et la correction du partiel. Les notes de cours de Patrick Dehornoy fournissent également une bonne ressource bibliographique pour ce cours.