Inštrukcie na odovzdávanie riešení.
Prehľad o vašom priebežnom bodovom hodnotení nájdete v súbore report.md
vo vetve report vo vašich repozitároch. Priame URL je (nezabudnite
nahradiť ‹LOGIN› za svoje prihlasovacie meno):
https://github.com/FMFI-UK-1-AIN-412/lpi18-‹LOGIN›/blob/report/report.md
Ak si toto pozeráte vo svojom repozitári, funguje aj tento odkaz.
- Sada úloh 1: teoretická časť (výroková syntax a formalizácia) a praktická časť (SAT solver)
- Sada úloh 2: teoretická časť (výroková sémantika a dokončenie syntaxe) a praktická časť (formula)
- Sada úloh 3: teoretická časť (výrokové vyplývanie a ekvivalencia) a praktická časť (Sudoku)
- Sada úloh 4: teoretická časť (CNF a tablá) a praktická časť (toCnf)
Zbierka úloh obsahuje vzorové riešenia a ďalšie úlohy na precvičovanie.
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/text (prípadne iné pomocné súbory) musí byť vaša samostatná práca (samozrejme s výnimkou častí, ktoré vzorovo 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 poriadku.
Za účelom odovzdávania praktických úloh 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.
Riešenia teoretickej časti sád úloh je potrebné vypracovať v čitateľnej forme a primerane malom rozsahu. Vyhradzujeme si právo vrátiť nečitateľné alebo príliš rozsiahle riešenia. Toto vrátenie sa počíta rovnako, ako keby bolo riešenie hodnotené menej ako 50 %-ami bodov.