|
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
|
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (27.12.2023)
Oral exam. |
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
Wilfrid Hodges: Model Theory, Cambridge University Press, 1993.
Michael O. Rabin: Decidable theories, in: Handbook of Mathematical Logic, 1977, pp. 595-629.
|
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (03.01.2024)
Oral exam to assess understanding of the main results presented during the course. |
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
We will study basic methods for proving algorithmic decidability of first-order theories and main examples of decidable theories.
Tools:
Exhibits (depending on time constraints):
|
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (27.12.2023)
Basic knowledge of mathematical logic and model theory |