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_6_12 [2019/01/10 18:36] (aktuální)
Řádek 1: Řádek 1:
 +====== AU Zk 26.6.2012 ======
 +
 +<​code>​
 +cas 2 hodiny
 +
 +1) Ktere formule je mozne odvodit jednou aplikaci rezolucniho nebo faktorizacniho pravidla? 22b
 +checkboxy
 +
 +2) Ktera z formuli neni subsumovana zadnou z ostatnich? 16b
 +checkboxy
 +
 +3) Prevedte na klauzule! 10b
 +(All X)(p(X)) <=> (All Y)(q(Y))
 +checkobxy
 +
 +4) Ktere sturktury jsou modelem? 12b
 +(All X)(Exist Y)(r(X,​Y)!=X && r(Y,X)!=X)
 +checkboxy
 +r(0,0)=1, r(0,1)=1, r(1,0)=0, r(1,1)=0
 +r(0,0)=1, r(0,1)=0, r(1,0)=1, r(1,1)=0
 +
 +5) Zformalizujte pomoci m(X) X je muz, z(X) X je zena, libi(X,Y) X se libi Y. 10b
 +Kazda zena se libi nejakemu muzi.
 +checkboxy
 +(All X)(z(X)) => (Exist Y)(m(Y) && libi(Y,X))
 +
 +6) Sestrojte casovy automat pro mys co umi click, double-click,​ hold. 30b
 +
 +</​code>​
 +
 +~~DISCUSSION~~
 +
  
courses/au_zk_26_6_12.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