Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Logique et théorie des ensembles
Thèmes :
Logique & Preuve
,
Mathématiques
–
Cursus :
ENS-Ulm - L3
2006 - 2007
Cours
Patrick Dehornoy
Chapitre 1 : Le type ensemble
Chapitre 2 : Les ordinaux
Chapitre 3 : Le système ZF
Chapitre 4 : L'axiome du choix
Chapitre 5 : Les cardinaux
Chapitre 6 : Logique propositionnelle
Chapitre 7 : Logique du premier ordre
Chapitre 8 : Théorèmes de limitation
Chapitre 9 : Modèles de ZFC
Chapitre 10 : Les ensembles constructibles