Seznam verzí předmětů vyučovaných v akademickém roce
2024/2025
Přednášejícím Ing. Martin Kot, Ph.D.
Kód
Název
460-4016/01
Modelování a verifikace
460-4016/02
Modelování a verifikace
460-2005/03
Úvod do teoretické informatiky
460-4065/03
Teoretická informatika