Logika pre informatikov

• Stránka predmetu
• Inštrukcie na odovzdávanie riešení
• Poznámky z prednášok
• Zadania teoretických cvičení

Praktické cvičenia

• Cvičenie 1 (SAT solver)
• Cvičenie 2 (Sudoku)

Domáce úlohy

• Domáca úloha 1 (výroková logika s implikáciou a spojkou a nie)

Pravidlá pre praktické cvičenia

Odpisovanie

Môžete sa rozprávať o svojich riešeniach so spolužiakmi (poradiť sa, ako niečo riešiť a podobne), ale odovzdaný kód (prípadne iné pomocné súbory) musí byť vaša samostatná práca (samozrejme s výnimkou častí, ktoré spravíme spoločne na cvičeniach).

Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa článku 24, odseku (5) študijného a skúšobného poriadku.

Odovzdávanie

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úborov, 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.