22.4. 2011.

1 Základy 2 Výroková logika 3 Formáln´ı axiomatický systém logiky

Má-li teorie nějaký model, pak je bezesporná. Teorie T je úplná, pokud je bezesporná a pro každou uzavřenou formuli platı́ bud’ T |= ϕ nebo T |= ¬ϕ. Věta o kompaktnosti: Necht’ T je množ...

Ekvivalentní formule a Princip Duality

Věta o rozkladu funkce Mějme logickou funkci f ∈ P2n a 1 ≤ m ≤ n. Pak funkci f lze reprezentovat následujı́cı́ formulı́: f (x1 , . . . , xm , xm+1 , . . . , xn ) =

1.4. 2011.

TIN 086 Vybrané kapitoly z výpočetnı́ složitosti II

Učební text

kde ωn+1 (x) = (x − x0 )(x − x1 ) · · · (x − xn ) a ξs je nějaký bod z intervalu (a, b). Přehled užitečných vzorců. Uvažme přı́pad, kdy uzly xi jsou ekvidistantnı́ s krokem h, tj. xi = x0 ...

Polynomiáln´ı redukce 3SAT na k

vrcholů, které tvořı́ kliku lze nedeterministicky uhodnout a v polynomiálnı́m čase ověřit, že je to skutečně klika v grafu G (na toto ověřenı́ potřebujeme k 2 -krát ověřit přı́tomn...

1. DÚ

• Pokud N = 2, tak pište while-program počı́tajı́cı́ Z := b 4 Xc • Pokud N = 3, tak pište while-program počı́tajı́cı́ Z := M AX(X 3 , Y ) • Pokud N = 4, tak pište while-program počı́tajı́cı́ ...

Dokazování v predikátové logice

instancı́, vzniklých nahrazenı́m proměnných obsažených v S prvky množiny Hi (tj. konstantami i-tého stupně vznikými při vytvářenı́

zkoušky.

počet navštı́vených vrcholů předtı́m, než navštı́vı́me vrchol ve vzdálenosti přesně k, 1 ≤ k ≤ `. Předpokládejme, že d je mnohem většı́ než `. Úloha 2. Uvažujme úplný binárnı́ ...

O FUNKC´ICH - e

V této kapitole Vás chci seznámit se všemi funkcemi, které můžete ve svém matematickém životě potkat. Jedná se o funkce, kterým se řı́ká elementárnı́. Existujı́ i jiné, ale s těmi...

1 Matematika jako cást logiky