Zkouška AU 16.6.2016

  1. 4 moznosti spravne
  2. 6 subsumpci
  3. Bacha na pouziti konstant vs funkci
  4. Pozor na pouziti substituce v celem stromu
  5. 7 reseni (staci brute force, dost se to prorezava)