navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:au_zk_03_6_15 [2015/06/03 15:18] trnkato2 vytvořeno |
courses:au_zk_03_6_15 [2025/01/03 18:23] (aktuální) |
||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| == Zkouška 3.6.2015 == | == Zkouška 3.6.2015 == | ||
| - | 1. Vybrat z nabízených možností všechny formule, které mohou vzniknout aplikací jedné faktorizace nebo rezoluce | + | - Vybrat z nabízených možností všechny formule, které mohou vzniknout aplikací jedné faktorizace nebo rezoluce |
| - | + | - Napsat všechny dvojice, které se subsumují (něco takového, tohle jsem si vymyslel...) | |
| - | 2. Napsat všechny dvojice, které se subsumují (něco takového, tohle jsem si vymyslel...) | + | * p(A) |
| - | + | * p(B) & ~m(B,A) | |
| - | a) p(A) | + | * p(f(X)) & ~m(A,A) |
| - | + | * p(A) & ~m(f(X),c0) | |
| - | b) p(B) & ~m(B,A) | + | * p(c0) |
| - | + | - Převést na klauzuli nebo množinu klauzulí (nějakou takovou, určitě tam byly oba kvantifikátory a "právě tehdy když": | |
| - | c) p(f(X)) & ~m(A,A) | + | * all X exists Y p(X,Y) <=> q(X,Y) |
| - | + | - Tablau algoritmus pro formule, které vypadaly nějak takhle: | |
| - | d) p(A) & ~m(f(X),c0) | + | * assumptions: |
| - | + | * exists X r(c0) => s(X) | |
| - | e) p(c0) | + | * exists X s(X) => r(c0) |
| - | + | * hypothesis: | |
| - | + | * exists X r(c0) <=> s(X) | |
| - | 3. Převést na klauzuli nebo množinu klauzulí (nějakou takovou, určitě tam byly oba kvantifikátory a "právě tehdy když": | + | - Najděte všechny modely pro 12 prvkovou množinu klauzulí, kde se vyskytovalo 10 výrokových proměnných |
| - | + | ||
| - | <latex> | + | |
| - | \all X \exists Y p(X,Y) \Leftrightarrow q(X,Y) | + | |
| - | </latex> | + | |
| - | + | ||
| - | 4. Tablau algoritmus pro formule, které vypadaly nějak takhle: | + | |
| - | + | ||
| - | assumptions: | + | |
| - | <latex> | + | |
| - | \exists X r(c) \Rightarrow s(X)\\ | + | |
| - | \exists X s(X) \Rightarrow r(c)\\ | + | |
| - | </latex> | + | |
| - | + | ||
| - | hypothesis: | + | |
| - | <latex> | + | |
| - | \exists X r(c) \Leftrightarrow s(X) | + | |
| - | </latex> | + | |
| - | + | ||
| - | + | ||
| - | 5. najděte všechny modely pro 12 prvkovou množinu klauzulí, kde se vyskytovalo 10 neznámých (výroková logika) | + | |
| ~~DISCUSSION~~ | ~~DISCUSSION~~ | ||
