Prednáška B Programovanie (4) Po 8:10 9:40 P. Borovanský Prednáška B Úvod do teoretickej informatiky Po 9:50 11:20 M. Winczer Prednáška B Logika pre informatikov Po 11:30 13:00 J. Mazák J. Kľuka Seminár I-23 Akademické podporné centrum Po 14:00 15:30 T. Jajcayová A. Mihálik Cvičenie M-XII Hodnoty a zodpovednosť v informatike a umelej inteligencii Po 16:30 18:00 T. Gál Kurz M-XI Digitálne technológie výroby Po 17:20 19:35 J. Vaško Cvičenie KTVS Telesná výchova a šport (4) Ut 8:10 12:40 Cvičenie F1-321 Úvod do teoretickej informatiky Ut 13:10 14:40 L. Budinská Cvičenie I-H3 Logika pre informatikov Ut 14:50 16:20 J. Boborová I. Bečková Nezadaný typ písomky Ut 18:10 19:40 Kurz I-H6 Princípy počítačov - operačné systémy St 9:00 11:15 J. Šiška A. Šimko 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 Kurz FT-LAB Aplikovaný robotický seminár (2) St 18:10 18:55 A. Lúčny Seminár A Ročníkový projekt a úvod do bakalárskej práce Št 9:50 11:20 Z. Berger Haladová Seminár F1-108 Internet, AI & spoločnosť Št 11:30 13:00 F. Gyárfáš M. Takáč Prednáška M-IX Špecifikácia a verifikácia programov Št 14:00 15:30 J. Komara Cvičenie M-IX Špecifikácia a verifikácia programov Št 15:40 17:10 J. Komara Prednáška F1-109 Kognitívne vedy: jazyk a kognícia Št 16:30 18:00 J. Rybár Cvičenie I-H3 Programovanie (4) Št 17:20 19:35 P. Borovanský A. Šimko A. Lúčny F. Kerák Cvičenie I-H6 Programovanie (4) Št 17:20 19:35 P. Borovanský A. Šimko A. Lúčny F. Kerák