Seminár I-8 Seminár Ut 12:20 13:05 M. Homola J. Kľuka J. Pukancová I. Bečková P. Anthony Z. Adams E. Štefancová J. Boborová M. Onoja KR Group meeting Cvičenie I-H3 Logika pre informatikov Ut 14:50 16:20 J. Boborová I. Bečková Nezadaný typ I-9 Logika pre informatikov St 12:20 13:05 I. Bečková J. Boborová J. Kľuka konzultácia