 | Programme d’études 2025-2026 | English | |
 | Projet en logique mathématique | ||
Unité d’enseignement du programme de Master en enseignement section 4 : mathématiques (MONS) (Horaire jour) à l"Ecole de Formation des Enseignants |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| UF-M1-MEMAT4-013-M | UE optionnelle | 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 | 24 | 24 | 72 | 0 | 0 | 10 | 10.00 | Année |
| Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
|---|---|---|---|---|---|---|---|---|
| S-MATH-047 | Projet en logique mathématique et théorie des modèles II | 24 | 24 | 72 | 0 | 0 | A | 100.00% |
| Unité d'enseignement |
|---|
Objectifs par rapport aux acquis d'apprentissage du programme
- Les compétences de l'organisateur et accompagnateur d'apprentissages dans une dynamique évolutive.
- Maitriser les contenus disciplinaires, leurs fondements épistémologiques, leur évolution scientifique et technologique, leur didactique et la méthodologie de leur enseignement
- Maitriser la langue française écrite et orale de manière approfondie pour enseigner et communiquer de manière adéquate dans les divers contextes et les différentes disciplines liés à la profession
Acquis d'apprentissage de l'UE
A l'issue de cet enseignement, les étudiants seront capables d'aborder des notions approfondies de logique qui ont été préalablement abordées dans les cours de logique mathématique précédents.
Contenu de l'UE : descriptif et cohérence pédagogique
Notions approfondies de logique mathématique (contenu variable dépendant du choix des étudiants), première approche à la recherche dans ce sujet.
Compétences préalables
Un cours de logique mathématique ayant abordé en détails au minimum une des thématiques suivantes : 1) théorie des modèles 2) fonctions récursives, théorie de la calculabilité et décidabilité
Types d'activités
| AA | Types d'activités |
|---|---|
| S-MATH-047 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-MATH-047 |
|
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-MATH-047 | Sans objet |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-MATH-047 | Sans objet |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-MATH-047 | Sans objet |
Reports des notes d'AA d'une année à l'autre
| AA | Reports des notes d'AA d'une année à l'autre |
|---|---|
| S-MATH-047 | Autorisé |
Evaluation du quadrimestre 1 (Q1) - type
| AA | Type(s) et mode(s) d'évaluation du Q1 |
|---|---|
| S-MATH-047 |
|
Evaluation du quadrimestre 1 (Q1) - commentaire
| AA | Commentaire sur l'évaluation Q1 |
|---|---|
| S-MATH-047 | L'étudiant présente une série de séminaires |
Evaluation de l'épreuve de rattrapage du quadrimestre 1 (Q1) pour BAB1 - type
| AA | Type(s) et mode(s) d'évaluation rattrapage Q1(BAB1) |
|---|---|
| S-MATH-047 |
|
Evaluation de l'épreuve de rattrapage du quadrimestre 1 (Q1) pour BAB1 - commentaire
| AA | Commentaire sur l'évaluation rattrapage Q1(BAB1) |
|---|---|
| S-MATH-047 | sans objet |
Evaluation du quadrimestre 2 (Q2) - type
| AA | Type(s) et mode(s) d'évaluation Q2 |
|---|---|
| S-MATH-047 |
|
Evaluation du quadrimestre 2 (Q2) - commentaire
| AA | Commentaire sur l'évaluation Q2 |
|---|---|
| S-MATH-047 | Idem Q1 |
Evaluation du quadrimestre 3 (Q3) - type
| AA | Type(s) et mode(s) d'évaluation du Q3 |
|---|---|
| S-MATH-047 |
|
Evaluation du quadrimestre 3 (Q3) - commentaire
| AA | Commentaire sur l'évaluation Q3 |
|---|---|
| S-MATH-047 | Idem Q1 |