Programme d’études 2018-2019 | English | ||
Séminaire d'introduction à la logique mathématique (Partie I) | |||
Activité d'apprentissage à la Faculté des Sciences |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) |
---|---|---|---|
S-MATH-014 |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 0 | 30 | 0 | 0 | 0 | Q1 |
Contenu de l'AA
Premiers concepts de logique mathématique : connecteurs; quantificateurs; formules; langages; modèles; cardinalité.
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 bloc.
Supports principaux non reproductibles
voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254
Mode d'enseignement
Types d'activités
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend