Logika a logické programování (UI/BUC16)

v ZS 2013/2014

Marek Menšík
marek.mensik@fpf.slu.cz
Konzultační hodiny: -

Přednáška: ČT: 13:05-14:40, BV-LEI
Semináře: ČT: 14:45-16:20, BR-LEI

1. přednáška: Matematické základy informatiky (úvod)
Termín konání: čtvrtek 26. září 2013

2. přednáška: Výroková logika
Termín konání: čtvrtek 3. října 2013

3. přednáška: Výroková logika - pokračování
Termín konání: čtvrtek 10. října 2013

4. přednáška: (Naivní) Teorie množin
Termín konání: čtvrtek 17. října 2013

5. přednáška: Predikátová logika 1. řádu
Termín konání: čtvrtek 24. října 2013

6. přednáška: Aristotelova logika
Termín konání: čtvrtek 31. října 2013

7. přednáška: Aristotelova logika - pokračování (Sylogismy a Vennovy diagramy)
Termín konání: čtvrtek 7. listopadu 2013

8. přednáška: Obecná rezoluční metoda v predikátové logice
Termín konání: čtvrtek 14. listopadu 2013

9. přednáška: Obecná rezoluční metoda v predikátové logice - pokračování
Termín konání: čtvrtek 21. listopadu 2013

10. přednáška: Logické programování, PROLOG
Termín konání: čtvrtek 28. listopadu 2013

11. přednáška: Principy důkazových kalkulů, Přirozená dedukce
Termín konání: čtvrtek 5. prosince 2013

12. přednáška: Důkazové kalkuly, Kalkul Hilbertova typu
Termín konání: čtvrtek 12. prosince 2013

13. přednáška: Relace a algebry
Termín konání: čtvrtek 19. prosince 2013

Projekt ESF OPVK č. CZ.1.07/2.2.00/28.0216
"Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia"
je spolufinancován z Evropského sociální fondu a státního rozpočtu České republiky.