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_26_5_16 [2016/05/27 17:53]
kerak [Zkouška AU 26.5.2016]
courses:au_zk_26_5_16 [2019/01/10 18:36] (aktuální)
Řádek 3: Řádek 3:
  
  
-  - Zaškrtávací,​ vybrat formule, které lze z množiny 2 formulí získat jednou aplikací pravidla rezoluce nebo faktorizace. Valná většina byla správně nezaškrtnutá. Množina byla S = {¬ Φ(Y) ∨ π(Y,f(Z)) ∨ π(c0,X); ¬ Φ(c0) ∨ ¬ π(c0,Y)}.+  - Zaškrtávací,​ vybrat formule, které lze z množiny 2 formulí získat jednou aplikací pravidla rezoluce nebo faktorizace. Valná většina byla správně nezaškrtnutá. Množina byla S = {¬ Φ(Y) ∨ π(Y,f(Z)) ∨ π(c0,X); ¬ Φ(Y) ∨ ¬ π(c0,Y)}.
   - Zaškrtávací,​ z pěti formulí vybrat dvojice formulí, které se subsumují. (Pozn. U subsumpce a rezoluce dejte pozor, že při unifikaci jsou stejně pojmenované proměnné z různých klauzulí ve skutečnosti různé.)   - Zaškrtávací,​ z pěti formulí vybrat dvojice formulí, které se subsumují. (Pozn. U subsumpce a rezoluce dejte pozor, že při unifikaci jsou stejně pojmenované proměnné z různých klauzulí ve skutečnosti různé.)
   - Upravit formuli s kvantifikátory a ekvivalencí na množinu klauzulí.   - Upravit formuli s kvantifikátory a ekvivalencí na množinu klauzulí.
courses/au_zk_26_5_16.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