Logic and Complexity - NMAG446
|
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (31.05.2019)
|
|
||
Last update: prof. RNDr. Jan Krajíček, DrSc. (22.02.2019)
Oral exam. |
|
||
Last update: prof. RNDr. Jan Krajíček, DrSc. (22.02.2019)
J.Krajicek, Proof complexity, Cambridge U. Press, 2019. http://www.karlin.mff.cuni.cz/~krajicek/prfdraft.html
|
|
||
Last update: prof. RNDr. Jan Krajíček, DrSc. (22.02.2019)
Basic concepts of computational complexity theory. Definability in first-order logic. Finite model theory. Proof complexity and SAT algorithms. Herbrand's theorem and witnessing theorems.
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)
Basic knowledge of matematical logic. |