UMONSFaculté des sciencesDépartement de mathématiqueService de Logique
MathématiqueEnseignementIntroduction à la logique mathématique
Introduction à la Logique Mathématique
[Fiche ECTS]
- Illustration par des exemples du rôle de la logique en
mathématique ;
première approche de problèmes célèbres
(hypothèse du continu...).
Introduction au cours de logique mathématique de 3ième
année.
Apprendre à communiquer : l'examen consiste à donner un
cours d'environ 1h devant la classe
(un thème regroupe deux ou trois étudiants).
- Premiers concepts de logique mathématique : connecteurs;
quantificateurs; formules; langages; modèles; cardinalité.