Programme d’études 2019-2020 | English | ||
Séminaires d'éléments de théorie des modèles et applications | |||
Activité d'apprentissage |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
---|---|---|---|---|
S-MATH-037 |
|
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 15 | 0 | 45 | 0 | 0 | A |
Modalités d'organisation des évaluations à distance de fin de Q3 2019-2020 (Covid-19) |
---|
|
Description des modalités d'évaluation à distance de fin de Q3 2019-2020 (Covid-19) |
Modalité précise à discuter avec l'étudiant |
Contenu de l'AA
Contenu variable suivant les besoins/envies des étudiants et de l'enseignant: théorie des modèles finis, algèbre différentielle et théorie des corps différentiels, structures ordonnées et o-minimalité, ... Possibilité d'un sujet connexe sur demande de l'étudiant, avec l'accord préalable de l'enseignant.
Supports principaux non reproductibles
Sans objet
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
- "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).
Mode d'enseignement
Types d'activités
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend