 | Programme d’études 2019-2020 | 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 à la Faculté des Sciences |
| Les étudiants sont invités à consulter les fiches ECTS des AA pour prendre connaissance des modalités d’évaluation prévues pour la fin du Q3 |
|---|
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-M1-SCMATH-101-M | UE optionnelle | RIVIERE Cédric | S834 - Mathématiques appliquées |
|
| 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
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 | Non autorisé |
(*) 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