Stránka predmetu je http://dai.fmph.uniba.sk/~siska/udvl/.
- 25.2. Termín na druhé cvičenia: zahlasujte prosím čím skôr v doodle za najvýhodnejší termín. Predbežný čas uzavretia hlasovania je štvrtok večer/piatok rano.
-
Str 8:10 H6
- 19.2. Úvod: administratívia, motivácia
- 26.2. udvl02.pdf: výroková logika (základné definície)
Inštrukcie na odovzdávanie riešení
Za účelom odovzdávania cvičení získate prístup k súkromnému repozitáru na GitHub-e. Používaním tohoto repozitára (t.j. nahrávaním súbrov, napríklad vašich riešení) prejavujte svoj súhlas s nasledovnými podmienkami:
- Do repozitára budete nahrávať iba materiály súvisiace s predmetom.
- Do repozitára budete nahrávať iba materiály, ktoré máte právo zverejniť (vzhľadom na autorské práva, iné zákony a pravidlá). Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.