Prehľad predmetu
| Týždeň | Prednášky a Cvičenia | Prolog | Neklasické logiky | Ďalšie informácie |
|---|---|---|---|---|
| 1. | Výroková logika - základne pojmy | Úvod do logického programovania v jazyku Prolog | - | Užitočné odkazy |
| 2. | Výroková logika - normálne tvary | Zoznamy, Aritmetika, Operátory | - | SAT Competition |
| 3. | Výroková logika - dedukčné kalkuly | Pravidlo rezu, negácia, spätné prehľadávanie | - | Tímové zadanie v jazyku Prolog |
| 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. | - | - | - | - |