Po 12:20 - 15:20 (4 v.hod.) M-II Kurz 2-INF-187 Úvod do teórie programovania I. Prívara St 13:10 - 16:10 (4 v.hod.) M-213 Prednáška 2-INF-127 Formálne špecifikácie I. Prívara