verzia 21.10.2012

* opravené dve chyby na strane 17:
  - alternatívna definícia
  - podmienka regularity
* opravená chyba na strane 19:
  - špecifikácia funkcie histórie (ohraničený kvantifikátor)