Seznam verzí předmětů vyučovaných v akademickém roce 2024/2025

Cvičícím Ing. Martin Kot, Ph.D.

KódNázev
460-4016/01 Modelování a verifikace
460-4016/02 Modelování a verifikace
460-2052/01 Úvod do programování
460-2005/03 Úvod do teoretické informatiky
460-2007/03 Bakalářský projekt I
460-2008/03 Bakalářský projekt II
460-4065/03 Teoretická informatika
460-2052/05 Úvod do programování
460-2001/07 Algoritmy I