Study programme 2018-2019 | Français | ||
Seminars: Model Theory and Applications | |||
Activité d'apprentissage à la Faculty of Science |
Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
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 |
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
<b>- "Model Theory, an Introduction"</b>, <em>D. Marker,</em> Springer (2002).
<b>- "Finite Model Theory and its Applications"</b>, <em>Grädel, Kolaitis, Libkin, Marx, Spencer, Vardi, Venema, Weinstein,</em> Springer (2007).
<b>- "Introduction to Differential Algebra"</b>, <em>I. Kaplanski</em>, Hermann (1997).
Mode of delivery
Type of Teaching Activity/Activities
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)