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_23_6_11 [2019/01/10 18:36] (aktuální)
Řádek 1: Řádek 1:
 +====== AU Zk 23.6.2011 ======
 +
 +<​code>​
 +cas tentokrat 2h, coz bylo od nich hezky :)jinak by to sotva slo stihnout. ​
 +
 +uspesnost diky tomu snad vyssi. ​
 +
 +zase 5 uloh, celkem za 100b, min 50.
 +
 +1/ rezoluce
 +za 24b, zaskrtavaci policka, spravna odpoved +2, spatna -2b. 
 +zadana pnozina dvou klauzuli; a rozhodnout, jestli nabizene klauzule mohly vzniknout jednim! krokem rezulucni metody(rezoluce,​ nebo faktorizace). ​
 +
 +2/ unifikace
 +za 16b, stejny zaskrtavaci typ; rict, ktere klauzule nejsou subsumovany ostatnimi. ​
 +
 +3/ skolemizace. ​
 +10b, zase checkboxy. (Ex_X: P(x)) <=> (Ex_Y: Q(y))
 +
 +4/ najit model,
 +10b; 2 prvkovy, j*j=j   & All_X: ((x!=j) -> x*y!=j) ​ &  All_X: (Ex_Y: x*y==j))
 +a kolik takovy modelu je. 
 +najit model == urcit def. obor a totalni fci. 
 +
 +5/ prevod na SAT
 +za 40b!
 +model ze 4) vhodne popsat a prevest na SAT + jak bychom resili
 +big-deal uloha
 +
 +</​code>​
 +
 +
 +~~DISCUSSION~~
 +
  
courses/au_zk_23_6_11.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