|
|
|
||
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (14.05.2019)
|
|
||
Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (06.02.2018)
Oral exam: see http://www.karlin.mff.cuni.cz/~krajicek/zk-ds.html. |
|
||
Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (26.02.2024)
J. Krajíček: "Bounded arithmetic, propositional logic, and complexity theory", Encyclopedia of Mathematics and Its Applications, Vol.170, Cambridge University Press, (2019). |
|
||
Poslední úprava: T_KA (14.05.2013)
Přednáška se bude zabývat tzv. Cookovým programem, který redukuje P vs. NP problém na úkol dokazat spodní odhady na délky výrokových důkazů. I částečné pokroky v tomto programu maji řadu důsledků (např. pro automatické dokazování či v matematické logice). |