 | Programme d’études 2018-2019 | English | |
 | Séminaires d'éléments de théorie des modèles et applications (Liste A) | ||
Unité d’enseignement du programme de Master en sciences mathématiques, à finalité approfondie à la Faculté des Sciences |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-M2-MATHFA-004-M | UE optionnelle | RIVIERE Cédric | S843 - Géométrie algébrique |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 0 | 45 | 0 | 0 | 6 | 6.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-037 | Séminaires d'éléments de théorie des modèles et applications | 15 | 0 | 45 | 0 | 0 | A | 100.00% |
| Unité d'enseignement |
|---|
Objectifs par rapport aux acquis d'apprentissage du programme
- 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
- -Être capable d'utiliser les ressources bibliographiques de manière adaptée au but poursuivi.
- Ê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.
- 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
- -Être capable d'utiliser les ressources bibliographiques de manière adaptée au but poursuivi.
- Ê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 UE
Voir AA <b>S-MATH-037 - Séminaires d'éléments de théorie des modèles et applications </b>
Contenu de l'UE
Voir AA <b>S-MATH-037 - Séminaires d'éléments de théorie des modèles et applications </b>
Compétences préalables
Algèbre et Théorie des modèles de base
Types d'évaluations Q1 pour l'UE
- Néant
Commentaire sur les évaluations Q1 de l'UE
Sans objet
Types d'évaluations Q2 pour l'UE
- Présentation et/ou travaux
Commentaire sur les évaluations Q2 de l'UE
Voir AA <b>S-MATH-037 - Séminaires d'éléments de théorie des modèles et applications </b>
Types d'évaluation Q3 pour l'UE
- Présentation et/ou travaux
Commentaire sur les évaluations Q3 de l'UE
Voir AA <b>S-MATH-037 - Séminaires d'éléments de théorie des modèles et applications </b>
Types d'évaluation rattrapage BAB1 (Q1) pour l'UE
- Néant
Commentaire sur les évaluations rattr. Q1 de l'UE
Sans objet
Types d'activités
| AA | Types d'activités |
|---|---|
| S-MATH-037 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-MATH-037 |
|
Supports principaux
| AA | |
|---|---|
| S-MATH-037 |
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-MATH-037 | Sans objet |
Supports complémentaires
| AA | |
|---|---|
| S-MATH-037 |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-MATH-037 | Sans objet |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-MATH-037 | - "Model Theory, an Introduction", D. Marker, Springer (2002). - "Finite Model Theory and its Applications", Grädel, Kolaitis, Libkin, Marx, Spencer, Vardi, Venema, Weinstein, Springer (2007). - "Introduction to Differential Algebra", I. Kaplanski, Hermann (1997). |
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-037 | Autorisé |