Inštrukcie na odovzdávanie riešení praktických úloh.
| Týždeň | Prezentácie z prednášok | Teoretické úlohy | Praktické úlohy |
|---|---|---|---|
| 1 | Úvod. Atomické formuly a štruktúry | tu01 (AIN) | SAT solver |
| 2 | Výrokovologické spojky | tu02 (AIN) | Sudoku |
| 3 | Výrokovologické vyplývanie | tu03 (AIN) | Formula |
| 4 | Vlastnosti a vzťahy formúl | tu04 (AIN) | NNF a CNF |
| 5 | Dôkazy a výrokovologické tablá | tu05 (AIN) | Tableau |