Teaching

Antonín Kučera

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)

MA007, Matematická logika (Mathematical Logic)

  • Course notes (in Czech). Last update: 22.9. 2016