Programme d’études 2025-2026English
Séminaires de méthodes formelles
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-023-MUE optionnelleRANDOUR MickaëlS820 - Mathématiques effectives
  • RANDOUR Mickaël

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-240Séminaires de méthodes formelles24247200A100.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
    • -Être capable de mener une réflexion critique sur l'impact des mathématiques et sur les implications des projets auxquels ils contribuent
    • -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

Eléments avancés de méthodes formelles, à convenir en fonction du parcours spécifique des étudiants.

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

Eléments avancés de méthodes formelles, à convenir en fonction du parcours spécifique des étudiants.

Compétences préalables

Notions de base d'algorithmique, programmation, complexité, logique.

Types d'activités

AATypes d'activités
S-MATH-240
  • Cours magistraux
  • Conférences
  • Exercices dirigés
  • Utilisation de logiciels
  • Démonstrations
  • Préparations, travaux, recherches d'information

Mode d'enseignement

AAMode d'enseignement
S-MATH-240
  • En présentiel

Supports principaux non reproductibles

AASupports principaux non reproductibles
S-MATH-240Sans objet

Supports complémentaires non reproductibles

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

Autres références conseillées

AAAutres références conseillées
S-MATH-240Sans 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-240Autorisé

Evaluation du quadrimestre 1 (Q1) - type

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

Evaluation du quadrimestre 1 (Q1) - commentaire

AACommentaire sur l'évaluation Q1
S-MATH-240Examen oral sur la théorie et les exercices (Evaluation E1). Présentation orale par les étudiants (Evaluation E2).

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-240
  • 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-240Sans objet

Evaluation du quadrimestre 2 (Q2) - type

AAType(s) et mode(s) d'évaluation Q2
S-MATH-240
  • Production (travail écrit, rapport, essai, collection, produit…) à déposer - En présentiel
  • Examen oral - En présentiel
  • Présentation orale - En présentiel
  • Epreuve pratique - En présentiel

Evaluation du quadrimestre 2 (Q2) - commentaire

AACommentaire sur l'évaluation Q2
S-MATH-240Présentations de travaux avancés sur base d'articles ou de livres (Evaluation E3). Projet (potentiellement en groupe) (Evaluation E4). Note finale de l'UE. Si une des évaluations est inférieure à 8, la note finale est égale à l'évaluation minimale. Sinon, la pondération suivante est appliquée : E1 (40%), E2 (10%), E3 (20%), E4 (30%).

Evaluation du quadrimestre 3 (Q3) - type

AAType(s) et mode(s) d'évaluation du Q3
S-MATH-240
  • Production (travail écrit, rapport, essai, collection, produit…) à déposer - En présentiel
  • Examen oral - En présentiel
  • Présentation orale - En présentiel
  • Epreuve pratique - En présentiel

Evaluation du quadrimestre 3 (Q3) - commentaire

AACommentaire sur l'évaluation Q3
S-MATH-240Même règles qu'aux Q1/Q2. Toute évaluation en-dessous de 10 doit être repassée au Q3.
(*) 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 : 05/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