demo125 / lpi

Logika pre informatikov

Logika pre informatikov

Stránka predmetu.

Inštrukcie na odovzdávanie riešení.

Poznámky z prednášok.

Praktické cvičenia

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

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.