Seminár I-8 Seminár Po 9:50 11:20 M. Homola J. Kľuka P. Anthony Z. Adams M. Onoja DyMAX Status Kurz B Úvod do matematickej logiky Po 11:30 13:00 J. Mazák J. Kľuka Prednáška B Logika pre informatikov Po 11:30 13:00 J. Mazák J. Kľuka 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 16:30 18:00 J. Kľuka Nezadaný typ I-9 Logika pre informatikov St 12:20 13:05 I. Bečková J. Boborová J. Kľuka konzultácia Labák I-H6 Logika pre informatikov St 13:10 14:40 J. Kľuka J. Šiška