- Mme Hariti
- bureau 5056
- 01 57 27 92 13
|Requirements||Besides the notions and results of the first semester course, a general mathematical background (at Bachelor's level) will be useful to understand some examples and applications.|
|Weekly hours||4 h CM|
|Years||Master Logique et Fondements de l'Informatique|
This course is a natural continuation of the first semester Model Theory course. It will seek to understand and classify the models of a given 1st order theory through the types that can be realized or omitted.