The slides are available at course webpage:

https://www.fi.muni.cz/~xpelanek/PV254/