|
|
|
||
Poslední úprava: T_KA (21.05.2009)
|
|
||
Poslední úprava: T_KA (12.05.2009)
J.Krajíček, Bounded arithmetic, propositional logic, and complexity theory, Cambridge University Press, (1995). |
|
||
Poslední úprava: T_KA (12.05.2009)
Základní pojmy výpočetní složitosti. Definovatelnost predikátu v logice prvního řádu a jejich složitost.Základy teorie konečných modelů. Splnitelné výrokové formule a tautologie. Důkazové systémy pro výrokovou logiku.
|