Prehľad predmetu
| Týždeň | Cvičenia | Prolog | Zápočet |
|---|---|---|---|
| 1. | Výroková logika - základne pojmy | Základné pojmy | Zadanie |
| 2. | Výroková logika - normálne tvary | Zoznamy | Tímový projekt |
| 3. | Výroková logika - dedukčné kalkuly | Aritmetika | Prolog a doplňujúce úlohy |
| 4. | Výroková logika - rezolučná metóda a SAT problém | Operátory | - |
| 5. | Predikátová logika - jazyk a sémantika | Pravidlo rezu, negácia, spätné prehľadávanie | - |
| 6. | Predikátová logika - dedukčné kalkuly | - | - |
| 7. | Predikátová logika - rezolučná metóda | - | - |
| 8. | Predikátová logika - logické programovanie | - | - |
| 9. | Intuicionistická logika a Curry–Howardova korešpondencia | - | - |
| 10. | Lineárna logika | - | - |
| 11. | Modálne logiky | - | - |
| 12. | - | - | - |
| 13. | - | - | - |