Podklady pro ZS 2015 zde: http://www.ksi.mff.cuni.cz/~svoboda/courses/2015-1-A7B36DBS/.