Úvod do výpočtovej logiky Stránka predmetu je http://dai.fmph.uniba.sk/~siska/udvl/. Cvičenia Pon 12:20 H6 Uto 16:30 H6 Inštrukcie na odovzdávanie cvičení čoskoro pribudú. Cvičenie 1