Cours MAT1235 "Notions de Logique Mathématique"
Les titulaires de ce cours donné à l'Université Catholique de Louvain sont :
Nicolas Guzy, Christian Michaux
et Cédric Rivière
Le contenu de ce cours constitue une première approche à la logique mathématique moderne, dont on peut situer les débuts avec les travaux de Cantor.
Le cours est constitué d'une dizaine de leçons
autonomes, chacune étant consacrée à un
thème majeur de la logique mathématique.
L'examen consiste en la réalisation par un petit groupe
d'étudiants de travaux dirigés prolongeant un ou
plusieurs thèmes et finalisés par une
présentation d'environ 50 minutes par étudiant.
Les fichiers temporaires suivant (accessibles durant 30 jours à partir du 7 février 2008) sont des notes ou des textes sur certains thèmes. Ils ne sont pas exempts de certaines incorrections : ne répéter pas sans comprendre!
http://fichiers.umh.ac.be/download.php?id=B2JmZjkllKvjjmxP#zorn.pdf
http://fichiers.umh.ac.be/download.php?id=ipffAipk1DiVs1Eq#lewin.pdf
http://fichiers.umh.ac.be/download.php?id=3gfaL3yfP0b9xepv#ordinaux.pdf
http://fichiers.umh.ac.be/download.php?id=RPgrAVFO8CrypNZu#fermescantor.pdf
http://fichiers.umh.ac.be/download.php?id=n1E9EXnYoS7OdFhO#ensembles1.pdf
http://fichiers.umh.ac.be/download.php?id=9RoRmR7iYwhwbtZw#ensembles2.pdf
http://fichiers.umh.ac.be/download.php?id=L8V8n1CdbGv9bs5X#hydre.pdf
http://fichiers.umh.ac.be/download.php?id=NtinIFfCo6TwZVrw#muchnik.pdf
http://fichiers.umh.ac.be/download.php?id=fCz0llwlhELBR81l#thmod.pdf
Please email any correction, comment or suggestion about these pages to C. Riviere