 | Programme d’études 2019-2020 | English | |
| Séminaire d'introduction à la logique mathématique (Partie II) | |||
Activité d'apprentissage |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
|---|---|---|---|---|
| S-MATH-814 |
|
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
|---|---|---|---|---|---|---|---|
| Français | Français | 0 | 30 | 0 | 0 | 0 | Q2 |
| Modalités d'organisation des évaluations à distance de fin de Q3 2019-2020 (Covid-19) |
|---|
|
| Description des modalités d'évaluation à distance de fin de Q3 2019-2020 (Covid-19) |
| Pas de changement (évaluation continue) |
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. Apprendre à communiquer : l'examen consiste à donner un cours d'environ 1h devant la classe
(un thème regroupe deux ou trois étudiants).
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
- Face à face
Types d'activités
- Séminaires
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend