Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

Odkaz na výstup diff

courses:au_zk_03_6_15 [2015/06/03 15:18]
trnkato2 vytvořeno
courses:au_zk_03_6_15 [2019/01/10 18:36] (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~~
  
  
courses/au_zk_03_6_15.txt · Poslední úprava: 2019/01/10 18:36 (upraveno mimo DokuWiki)
Nahoru
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0