IA023, Petriho sítě (Petri Nets)
- Course notes (in Czech, developed by Jan Holeček). Pdf.
IA011, Sémantiky programovacích jazyků (The Semantics of Programming Languages)
- Course notes (in Czech). Available as Pdf,
- Exercise (in Czech). Set 1, Set 2, Set 3.
- A note on recursive definitions. Available as PostScript.