Prehľad predmetu
| Týždeň | Prednášky a Cvičenia | Zápočet |
|---|---|---|
| 1. | Výroková logika - základne pojmy | Zadanie |
| 2. | Výroková logika - normálne tvary | Tímový projekt |
| 3. | Výroková logika - dedukčné kalkuly | - |
| 4. | Výroková logika - rezolučná metóda a SAT problém | - |
| 5. | Predikátová logika - jazyk a sémantika | - |
| 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. | - | - |