Poslední úprava: Krajíček Jan, prof. RNDr., DrSc. (22.02.2019)
Sylabus -
Základní kocepty teorie výpočetní složitosti. Definovatelnost v logice prvního řádu. Konečná teorie modelů. Důkazová složitost a SAT algoritmy, Herbrandova věta a dosvědčující věty.
Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (17.05.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.
Poslední úprava: Krajíček Jan, prof. RNDr., DrSc. (22.02.2019)
Vstupní požadavky -
Základní znalosti matematické logiky.
Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (17.05.2019)
Basic knowledge of matematical logic.
Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (17.05.2019)