Základy výrokové logiky
1. přednáška: 13. 9. 2011
Presentace 1 Úvod: deduktivně platné
usuzování
Presentace 2 Výroková logika: jazyk
- syntaxe a sémantika, důkaz sporem.
2. přednáška: 20. 9. 2011
Presentace 3 Výroková logika: normální
formy formulí
3. přednáška: 27. 9. 2011
Presentace 3 Výroková logika: sémantická tabla, rezoluční metoda ve VL
Základy predikátové logiky 1. řádu
4. přednáška: 4. 10. 2011
Presentace 4 Teorie množin; relace,
funkce, (ne)spočetnost množin
5. přednáška: 11. 10. 2011
Presentace 5 Predikátová logika:
jazyk - syntaxe a sémantika
6. přednáška: 18. 10. 2011
Presentace 6 Sémantika PL1: interpretace,
modely
7. přednáška: 25. 10. 2011
Presentace 6 Sémantika PL1: sémantická tabla
Presentace 7 Aristotelova logika.
Venovy diagramy
8. přednáška: 1. 11. 2011
První zápočtová písemka
9. přednáška: 8. 11. 2011
Presentace 8 Obecná rezoluční metoda
v PL1
10. přednáška: 15. 11. 2011
Presentace 9 Obecná rezoluční metoda
- Příklady
Presentace 10 Logické programování:
Základy (logika) Prologu
Příklady řešené v Prologu
11. přednáška: 22. 11. 2011
Presentace 11 Důkazové kalkuly;
Přirozená dedukce.
12. přednáška: 29. 11. 2011
Presentace 11 Důkazové kalkuly; pokračování
Presentace 14 Axiomatické teorie:
teorie relací a funkcí
13. přednáška: 6. 12. 2011
Druhá zápočtová písemka
14. přednáška: 13.12. 2011
zkouškový předtermín