![]() | Programme d’études 2025-2026 | English | |
![]() | Topologie et logique mathématique | ||
Unité d’enseignement du programme de Bachelier en sciences mathématiques (MONS) (Horaire jour) à la Faculté des Sciences |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-B2-SCMATH-007-M | UE Obligatoire | MICHAUX Christian | S838 - Logique mathématique |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 30 | 30 | 0 | 0 | 8 | 6 | 6.00 | 1er quadrimestre |
| Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
|---|---|---|---|---|---|---|---|---|
| S-MATH-014 | Topologie et logique mathématique (Partie A) | 30 | 10 | 0 | 0 | 0 | Q1 | |
| S-MATH-814 | Topologie et logique mathématique (Partie B) | 0 | 20 | 0 | 0 | 0 | Q2 | |
| S-MATH-815 | Topologie et logique mathématique (Travaux dirigés) | 0 | 0 | 0 | 0 | 8 | Q1 |
| Unité d'enseignement |
|---|
Objectifs par rapport aux acquis d'apprentissage du programme
Acquis d'apprentissage de l'UE
A l'issue du cours, les étudiants seront à même d'utiliser les notions de base de la topologie et de la logique mathématique (théorie naïve des ensembles et des cardinaux, théorie des ensembles selon Zermelo-Fraenkel, axiome du choix, lemme de Zorn, cardinaux, ordinaux...) dans les cours ultérieurs. Ils seront à même d'aborder un cours plus avancé de topologie et de logique mathématique). Ils seront à même de communiquer oralement devant leurs pairs sur ses sujets, sous la forme d'un cours.
Contenu de l'UE : descriptif et cohérence pédagogique
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...); premiers concepts de topologie ((ouverts, fermés, voisinages, topologie produit...)
Introduction au cours de logique mathématique de 3ième bloc.
Apprendre à communiquer : l'examen du Q2 consiste à donner un cours d'environ 1h devant la classe
(un thème regroupe deux ou trois étudiants).
Compétences préalables
Notions basiques de la théorie naïve des ensembles (fonctions, relations, relations d'équivalence); notions élémentaires de théorie des groupes et d'algèbre linéaire.
Type(s) et mode(s) d'évaluation Q1 pour l'UE
Commentaire sur les évaluations Q1 de l'UE
Examen écrit sur des applications simples de la théorie.
Une note inférieure à 7 implique automatiquement une seconde session pour cette partie du cours.
Méthode de calcul de la note globale pour l'évaluation Q1 de l'UE
Une note inférieure à 7 implique automatiquement une seconde session pour cette partie du cours.
Type(s) et mode(s) d'évaluation rattrapage Q1 (BAB1) pour l'UE
Commentaire sur les évaluations rattrapage Q1 (BAB1) de l'UE
sans objet
Méthode de calcul de la note globale pour l'évaluation rattrapage Q1 (BAB1) de l'UE
sans objet
Type(s) et mode(s) d'évaluations Q2 pour l'UE
Commentaire sur les évaluations Q2 de l'UE
Il s'agit de présentations faites par les étudiants devant leurs pairs, sur la base d'une liste prédéterminée (voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254). Les présentations ont lieu au Q2.
La note globale à l'issue de la première session sera celle du Q1 si cette dernière est inférieure à 7.
Méthode de calcul de la note globale pour l'évaluation Q2 de l'UE
Note globale sur base de la présentation orale et des documents écrits joints et de l'examen de janvier et des travaux dirigés
La note globale à l'issue de la première session sera celle du Q1 si cette dernière est inférieure à 7.
Type(s) et mode(s) d'évaluations Q3 pour l'UE
Commentaire sur les évaluations Q3 de l'UE
Seule la partie exercices peut être représentée au Q3 vu que la partie orale nécessite la présence des pairs.
Méthode de calcul de la note globale pour l'évaluation Q3 de l'UE
La note est calculée sur la même base qu'au Q2, en tenant compte de l'éventuelle note obtenue pour la partie écrite au Q3 (seule partie qui peut être répétée au Q3) .
Types d'activités
| AA | Types d'activités |
|---|---|
| S-MATH-014 |
|
| S-MATH-814 |
|
| S-MATH-815 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-MATH-014 |
|
| S-MATH-814 |
|
| S-MATH-815 |
|
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-MATH-014 | voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254 |
| S-MATH-814 | voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254 |
| S-MATH-815 | Sans objet |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-MATH-014 | Un ou plusieurs livres de référence sont mentionnés sur le site moodle du cours. |
| S-MATH-814 | Sans objet |
| S-MATH-815 | Sans objet |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-MATH-014 | voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254 |
| S-MATH-814 | voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254 |
| S-MATH-815 | Sans objet |