Bienvenue sur le site du Service de Logique Mathématique de l'Université de Mons-Hainaut. Le contenu des pages décrites avec un texte bleu est généralement en Français.   Welcome into the site of the Service of Mathematical Logic at the University of Mons-Hainaut. The pages whose description is written in red are generally written in English.

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