Inštrukcie na odovzdávanie riešení
Prehľad o vašich bodoch si môžete pozrieť v súbore report.md vo vetve
report vo vašich repozitároch. Priame url je (nezabudnite nahradiť ‹LOGIN› za
vaše prihlasovacie meno):
https://github.com/FMFI-UK-1-AIN-412/‹LOGIN›/blob/report/report.md
Ak si toto pozeráte vo vašom repozitári, funguje aj tento odkaz.
- Cvičenie 0 (inicializácia)
- Cvičenie 1 (SAT solver)
- Cvičenie 2 (Sudoku)
- Cvičenie 3 (formula)
- Cvičenie 4 (rodinka)
- Cvičenie 5 (toCnf)
- Cvičenie 6 (Agatha)
- Bonus 1 (parsovanie formuly)
- Domáca úloha 1 (výroková logika so Shefferovou spojkou)
- Domáca úloha 2 (vyplývanie a ekvivalencia)
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.