Programme d’études 2025-2026English
Séminaires de logique mathématique et théorie des modèles
Unité d’enseignement du programme de Master en sciences mathématiques , à finalité approfondie (MONS) (Horaire jour) à la Faculté des Sciences

CodeTypeResponsable Coordonnées
du service
Enseignant(s)
US-M2-MATHFA-008-MUE optionnelleMICHAUX 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çais242472001212.00Année

Code(s) d’AAActivité(s) d’apprentissage (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
d’enseignement
Pondération
S-MATH-038Séminaires de logique mathématique et théorie des modèles24247200A100.00%

Unité d'enseignement

Objectifs par rapport aux acquis d'apprentissage du programme

  • Compétence 6 : Avoir acquis les compétences professionnelles en relation avec la finalité définissant le diplôme
    • -Avoir acquis une expertise et des connaissances pointues dans un domaine des mathématiques permettant d'entrer de plein pied dans le monde de la recherche
    • -Pouvoir faire preuve d'intuition et de créativité pour aborder des problèmes mathématiques nouveaux.
    • -Être capable d'exposer des résultats mathématiques de haut niveau à un public spécialisé.
  • Posséder des connaissances mathématiques intégrées et pointues
    • -Pouvoir mobiliser les mathématiques de bachelier pour traiter de questions complexes et posséder une expertise profonde de celles-ci, prolongeant celle développée en bachelier.
    • -Être capable d'utiliser ses connaissances antérieures pour apprendre des mathématiques de haut niveau de manière autonome.
    • -Être à même de rechercher la littérature mathématique de manière efficace et pertinente.
    • -Être capable de lire des articles de recherche dans au moins une discipline des mathématiques
  • Être capable de réaliser des projets d'envergure
    • -Avoir l'autonomie nécessaire pour mener à bien un projet d'envergure lié aux mathématiques ou à leurs applications. Ceci implique de pouvoir prendre en compte la complexité du projet, ses objectifs et les ressources disponibles pour le réaliser.
    • -Porter une critique constructive sur la qualité et l'état d'avancement d'un projet.
    • -Être capable de travailler en équipe et en particulier de communiquer efficacement et dans le respect des autres.
    • -Être capable d'utiliser les ressources bibliographiques de manière adaptée au but poursuivi.
    • -Pouvoir présenter oralement et par écrit les objectifs et les résultats d'un projet.
  • Être capable de réaliser des projets d'envergure
    • -Avoir l'autonomie nécessaire pour mener à bien un projet d'envergure lié aux mathématiques ou à leurs applications. Ceci implique de pouvoir prendre en compte la complexité du projet, ses objectifs et les ressources disponibles pour le réaliser.
    • -Porter une critique constructive sur la qualité et l'état d'avancement d'un projet.
    • -Être capable de travailler en équipe et en particulier de communiquer efficacement et dans le respect des autres
    • -Être capable d'utiliser les ressources bibliographiques de manière adaptée au but poursuivi
    • -Pouvoir présenter oralement et par écrit les objectifs et les résultats d'un projet.
  • Pouvoir communiquer clairement
    • -Pouvoir communiquer oralement et par écrit des résultats de mathématique ou de domaines connexes en s'adaptant au public.
    • -Être capable de faire une présentation structurée et argumentée du contenu et des principes sous-tendant un travail, des connaissances mobilisées et des conclusions auxquelles il conduit.
    • -Posséder une connaissance suffisante de l'anglais pour une communication scientifique de base.
  • Être capable de s'adapter à différents contextes
    • -Avoir développé un fort degré d'autonomie permettant d'acquérir des savoirs complémentaires et des compétences nouvelles, permettant d'évoluer dans des contextes différents
    • -Faire preuve de rigueur, d'autonomie, de créativité, d'honnêteté intellectuelle, de sens éthique et déontologique

Acquis d'apprentissage de l'UE

Etre capable de lire un article de recherche en logique mathématique, en particulier dans l'un des sous secteurs, par exemple la théorie des modèles.

Contenu de l'UE : descriptif et cohérence pédagogique

Suivant les étudiants, choix de l'article à lire et participation de chacun pour en exposer le contenu. Chaque étudiant devra également remettre un résumé (en anglais) sur le contenu du cours et un texte détaillé sur le contenu de son travail personnel.

Compétences préalables

Cours de logique mathématique et théorie des modèles

Types d'activités

AATypes d'activités
S-MATH-038
  • Cours magistraux
  • Conférences
  • Préparations, travaux, recherches d'information

Mode d'enseignement

AAMode d'enseignement
S-MATH-038
  • Hybride

Supports principaux non reproductibles

AASupports principaux non reproductibles
S-MATH-038Sans objet

Supports complémentaires non reproductibles

AASupport complémentaires non reproductibles
S-MATH-038Sans objet

Autres références conseillées

AAAutres références conseillées
S-MATH-038Sans objet

Reports des notes d'AA d'une année à l'autre

AAReports des notes d'AA d'une année à l'autre
S-MATH-038Autorisé

Evaluation du quadrimestre 1 (Q1) - type

AAType(s) et mode(s) d'évaluation du Q1
S-MATH-038
  • Présentation orale - En présentiel

Evaluation du quadrimestre 1 (Q1) - commentaire

AACommentaire sur l'évaluation Q1
S-MATH-038Sans objet

Evaluation de l'épreuve de rattrapage du quadrimestre 1 (Q1) pour BAB1 - type

AAType(s) et mode(s) d'évaluation rattrapage Q1(BAB1)
S-MATH-038
  • Néant - Néant

Evaluation de l'épreuve de rattrapage du quadrimestre 1 (Q1) pour BAB1 - commentaire

AACommentaire sur l'évaluation rattrapage Q1(BAB1)
S-MATH-038Sans objet

Evaluation du quadrimestre 2 (Q2) - type

AAType(s) et mode(s) d'évaluation Q2
S-MATH-038
  • Présentation orale - En présentiel

Evaluation du quadrimestre 2 (Q2) - commentaire

AACommentaire sur l'évaluation Q2
S-MATH-038Sans objet

Evaluation du quadrimestre 3 (Q3) - type

AAType(s) et mode(s) d'évaluation du Q3
S-MATH-038
  • Présentation orale - En présentiel

Evaluation du quadrimestre 3 (Q3) - commentaire

AACommentaire sur l'évaluation Q3
S-MATH-038Sans 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 : 26/05/2025
Date de dernière génération automatique de la page : 14/03/2026
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be