===== Zkouška AU 16.6.2016=====

{{:courses:au_20160616.jpg?200|}}

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