Prehľad predmetu
| Týždeň | Prednášky a Cvičenia | Neklasické logiky | Ďalšie informácie |
|---|---|---|---|
| 1. | Výroková logika - základne pojmy | - | Užitočné odkazy |
| 2. | Výroková logika - normálne tvary | - | - |
| 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 a teórie | - | - |
| 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. | - | - | - |