verzia 7.11.2012

* opravená chyba na strane 30:
  - univerzálny kvantifikátor v špecifikácii aproximačnej funkcie