mrnobody2/udvl

Úvod do výpočtovej logiky

Stránka predmetu je http://dai.fmph.uniba.sk/~siska/udvl/.

Oznamy

• 3.3. Druhé cvičenia budú v štvrtok o 13:10 v H6.
• 26.2. Termín na odovzdávanie druhého cvičenia bol posunutý na 8.3.

Cvičenia

• Str 8:10 H6
• Stv 13:10 H6

Zadania:

• Cvičenie 1
• Cvičenie 2
• Cvičenie 3
• Cvičenie 4
• Cvičenie 5

Bonusy:

• Bonus 1

Domáce úlohy

• DU 1 (do Štvrtku 26.3. 13:10)

Prednášky

• 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.