 | |
| MATH0017-3 | Logique mathématique et théorie des ensembles
 |
|
| Durée : | 30h Th, 10h Pr, 20h TD |
|
| Crédits/ECTS : |
| Master en sciences mathématiques, à finalité approfondie, 1re année | | Deuxième quadrimestre | | 10 |
|
| Master en sciences mathématiques, à finalité didactique, 1re année | | Deuxième quadrimestre | | 10 |
|
| Master en sciences mathématiques, à finalité spécialisée en gestion, 1re année | | Deuxième quadrimestre | | 10 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 1re année | | Deuxième quadrimestre | | 10 |
|
| Master en sciences mathématiques, à finalité spécialisée, 1re année | | Deuxième quadrimestre | | 10 |
|
| Master sciences mathématiques | | Deuxième quadrimestre | | 10 |
|
|
|
| Titulaire(s) : | Georges Hansoul |
|
| Langue : | Langue française |
|
| Aperçu général : | Le cours est une introduction à l'étude des systèmes formels. On y développe la logique des propositions, la logique modale et la logique du premier ordre jusqu'au théorème de complétude de Gödel. En guise d'illustration, on présente une version de la théorie des ensembles avec classes qui permet de résoudre la plupart des paradoxes mathématiques usuels. Les thèmes abordés sont : les ensembles bien-fondés et le théorème de récursion de Von Neuman, les ordinaux et l'arithmétique ordinale, les cardinaux - sans et avec axiome du choix. |
|
| Objectif du cours : | Tout en développant les outils techniques nécessaires à l'étude des fondements mathématiques, le cours est aussi
une invitation à un regard distancié de l'activité du mathématicien.
|
|
| Pré-requis : | Aucun. |
|
| Travaux pratiques : | Les séances de répétitions ont un double but : tout d'abord, illustrer les concepts et résultats vus au cours théorie et aussi, petit à petit, développer une intuition et un esprit critique, et s'ouvrir à des thèmes plus contemporains de la logique et de la théorie des ensembles. |
|
| Organisation : | Cours d'un semestre à l'Institut de mathématique. |
|
| Notes de cours : | A côté du syllabus, l'étudiant pourra consulter avec profit le livre : Basic Set Theory de Levy (Springer-Verlag) |
|
| Evaluation : | Pour chacune des deux sessions : un examen oral comportant une ou deux questions de théorie (parmi une liste de questions possibles) et un ou deux exercices. |
|
| Contacts : | HANSOUL Georges,
Institut de Mathématique - Bât. B37, Bureau 059
Grande Traverse, 12 - 4000 Liège
(Sart Tilman)
Tél. : 04/366.94.69 - Fax : 04/366.96.47
E-mail : G.Hansoul@ulg.ac.be
TEHEUX Bruno - Tél. : 04/366.96.36
E-mail: B.Teheux@ulg.ac.be
|
|
|
| |
