Programme d’études 2023-2024English
Topologie et logique mathématique
Unité d’enseignement du programme de Bachelier en sciences mathématiques (MONS) (Horaire jour) à la Faculté des Sciences

CodeTypeResponsable Coordonnées
du service
Enseignant(s)
US-B2-SCMATH-007-MUE ObligatoireMICHAUX ChristianS838 - Logique mathématique
  • MICHAUX Christian

Langue
d’enseignement
Langue
d’évaluation
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CréditsPondération Période
d’enseignement
  • Français
Français303000866.001er quadrimestre

Code(s) d’AAActivité(s) d’apprentissage (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
d’enseignement
Pondération
S-MATH-014Topologie et logique mathématique (Partie A)3010000Q1
S-MATH-814Topologie et logique mathématique (Partie B)020000Q2
S-MATH-815Topologie et logique mathématique (Travaux dirigés)00008Q1

Note globale : les évaluations de chaque AA donnent lieu à une note globale pour l'unité d'enseignement.
Unité d'enseignement

Objectifs par rapport aux acquis d'apprentissage du programme

  • Comprendre de manière profonde les mathématiques " élémentaires ".
    • Pouvoir utiliser les espaces vectoriels, les applications linéaires et les techniques qui leur sont associées.
    • Comprendre et pouvoir utiliser la théorie naïve des ensembles.
    • Comprendre les structures algébriques de base.
    • Manipuler les acquis antérieurs qui interviennent dans une question.
    • Etre capable de donner des exemples et des contre-exemples (pour les définitions, les propriétés, les théorèmes,...)
  • Comprendre et produire des raisonnements rigoureux en mathématiques.
    • Etre capable de rédiger dans une expression claire et concise.
    • Pouvoir utiliser le vocabulaire mathématique et le formalisme à bon escient.
    • Etre capable de donner du sens à des expressions formelles.
    • Etre capable de s'appuyer sur un dessin pour éclairer une notion, un raisonnement,...
  • Collaborer sur des sujets mathématiques.
    • Pouvoir structurer l'exposé oral de résultats mathématiques.
    • Etre capable d'élaborer un diaporama efficace pour soutenir un exposé oral.
    • Faire preuve d'autonomie et être capable de travailler en équipe.
  • Résoudre des problèmes nouveaux.
    • Capacité à l'abstraction, à la manipulation de théories formelles et à l'utilisation de celles-ci pour résoudre des problèmes.
    • Etre capable d'adapter un argument à une situation similaire.
    • Utiliser les connaissances issues de différents domaines pour traiter des questions.

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

  • Examen écrit - En présentiel

Commentaire sur les évaluations Q1 de l'UE

Examen écrit sur des applications simples de la théorie.

Méthode de calcul de la note globale pour l'évaluation Q1 de l'UE

Sans objet

Type(s) et mode(s) d'évaluation rattrapage Q1 (BAB1) pour l'UE

  • Examen écrit - En présentiel

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

  • Présentation orale - En présentiel

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.

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

Type(s) et mode(s) d'évaluations Q3 pour l'UE

  • Examen écrit - En présentiel

Commentaire sur les évaluations Q3 de l'UE

Sans objet

Méthode de calcul de la note globale pour l'évaluation Q3 de l'UE

Sans objet puisque l'évaluation demande la présence des autres étudiants, elle ne peut être répétée

Types d'activités

AATypes d'activités
S-MATH-014
  • Cours magistraux
  • Exercices dirigés
  • Séminaires
S-MATH-814
  • Exercices dirigés
  • Séminaires
S-MATH-815
  • Excursions, visites

Mode d'enseignement

AAMode d'enseignement
S-MATH-014
  • En présentiel
S-MATH-814
  • En présentiel
S-MATH-815
  • En présentiel

Supports principaux non reproductibles

AASupports principaux non reproductibles
S-MATH-014voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-814voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-815Sans objet

Supports complémentaires non reproductibles

AASupport complémentaires non reproductibles
S-MATH-014Sans objet
S-MATH-814Sans objet
S-MATH-815Sans objet

Autres références conseillées

AAAutres références conseillées
S-MATH-014voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-814voir le site du cours sur https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-815Sans objet
(*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
Date de dernière mise à jour de la fiche ECTS par l'enseignant : 16/05/2023
Date de dernière génération automatique de la page : 04/05/2024
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be