Kurz M-VIII Princípy tvorby softvéru (3) St 8:10 10:25 R. Lukoťka J. Kostičová Seminár M-I Bakalársky seminár (2) St 11:30 13:00 D. Pardubská T. Plachetka R. Lukoťka Prednáška M-VII Matematická logika St 14:00 15:30 R. Lukoťka J. Mazák Kurz F1-109 Úvod do matematickej logiky Št 13:10 15:25 R. Lukoťka J. Mazák