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_13_6_17 [2019/01/10 18:36] (aktuální)
Řádek 1: Řádek 1:
 +===== Zkouška AU 13.6.2017=====
 +
 +  - 2 klauzule, vypsat vsechny ktere jsou odvodit 1 aplikaci rezolucniho nebo faktorizacniho pravidla, 20b
 +  - 1 klauzule, zaskrtnout z vyberu ty ktere subsumuje, 15b
 +  - prevest na klauzule, 15b <​code>​((∀X)(∃Y)p(X,​Y)) ⇔ ((∃X)(∀Y)q(X,​Y))</​code>​
 +  - teorie + hypoteza dokazat pomoci tableaux, 20b
 +  - najit vsechny neisomorfni dvouprvkove modely, 30b
 +
 +<​code>​
 +∗ je funkce, ~ je relace
 +(one ∗ apple) ~ one
 +(one ∗ one) ~ apple
 +¬(one ~ apple)
 +(∀X)(X ~ X)
 +</​code>​
 +
 +~~DISCUSSION~~
 +
  
courses/au_zk_13_6_17.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