Základy výrokové logiky
1. přednáška 20. 9. 2017:
Presentace 1 Úvod: deduktivně platné
usuzování.
Presentace 2 Výroková logika: jazyk - syntaxe a sémantika, důkaz sporem.
2. přednáška 27. 9. 2017:
Presentace 3 Výroková logika: ekvivalentní úpravy, normální formy formulí, sémantická tabla
3. přednáška 4. 10. 2017:
Presentace 3a Důkazové metody ve VL, rezoluční metoda
Základy predikátové logiky 1. řádu
4. přednáška 11. 10. 2017:
Presentace 4 Teorie množin; relace,
funkce, (ne)spočetnost množin
5. přednáška 18. 10. 2017:
Presentace 5 Predikátová logika:
jazyk - syntaxe a sémantika.
6. přednáška 25. 10. 2017:
Presentace 6 Sémantika PL1: interpretace,
modely, sémantická tabla
7. přednáška 1. 11. 2017:
Presentace 7 Aristotelova logika, Venovy diagramy;
Presentace 8 Obecná rezoluční metoda
v PL1
8. přednáška 8. 11. 2017:
Presentace 8 Obecná rezoluční metoda
v PL1
9. přednáška 15. 11. 2017:
Presentace 10 Logické programování:
Základy (logika) Prologu;
Příklady řešené v Prologu
10. přednáška 22. 11. 2017:
Presentace 11 Důkazové kalkuly;
Přirozená dedukce.
11. přednáška 29. 11. 2017:
Presentace 12 Důkazové kalkuly, Hilbertův program
12. přednáška 6. 12. 2017:
Presentace 15 Teorie aritmetiky, Gödelovy věty o neúplnosti
Shrnutí teorií relací a algeber:
Presentace 13 Axiomatické teorie relací a funkcí;
Presentace 14 Algebraické teorie