|
|
|
||
Last update: T_KTI (12.04.2016)
|
|
||
Last update: T_KTI (12.04.2016)
The aim is to provide deeper and more comprehensive knowledge of mathematical logic and acquire them through important and numerous examples. |
|
||
Last update: RNDr. Jan Hric (07.06.2019)
Oral exam |
|
||
Last update: T_KTI (12.04.2016)
W. Hodges, Model theory, Cambridge University Press, 1993
F. Kröger, S. Merz, Temporal logic and state systems, Springer, 2008
W. Rautenberg, A concise introduction to mathematical logic, Springer, 2009
|
|
||
Last update: RNDr. Jan Hric (27.04.2018)
A knowledge of basics of classical first-order logic is assumed. |