Logika pre informatikov

Stránka predmetu.

Inštrukcie na odovzdávanie riešení

Témy ročníkových projektov

Body

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.

Praktické cvičenia

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

Bonusy

• Bonus 1 (parsovanie formuly)

Domáce úlohy

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