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 Cvičenie F1-109 Matematická propedeutika (2) St 11:30 13:00 J. Mazák J. Rajník 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