 | Study programme 2019-2020 | Français | |
| Seminars: Model Theory and Applications | |||
Learning Activity |
| Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) | Establishment |
|---|---|---|---|---|
| S-MATH-037 |
|
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
|---|---|---|---|---|---|---|---|
| Français | Français | 15 | 0 | 45 | 0 | 0 | A |
| Organisational online arrangements for the end of Q3 2019-2020 assessments (Covid-19) |
|---|
|
Content of Learning Activity
Depending of the expectations of the students and the teacher: finite model theory, differential algebra and model theory of differential algebra, ordered structures and o-minimality, ...
Required Learning Resources/Tools
Not applicable
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
- "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 of delivery
- Face to face
- Mixed
Type of Teaching Activity/Activities
- Cours magistraux
- Conférences
- Préparations, travaux, recherches d'information
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)