Úvod do logiky (IB101)

v LS 2013/2014


doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
popel@mail.muni.cz
Konzultační hodiny: -


Mgr. Eva Mráková, Ph.D. (cvičící)
glum@mail.muni.cz → glum@fi.muni.cz
Konzultační hodiny: -

RNDr. Matej Pivoluska (cvičící)
mpivoluska@mail.muni.cz
Konzultační hodiny: -

RNDr. Aleš Zlámal (cvičící)
zlamal@mail.muni.cz → zlamal@fi.muni.cz
Konzultační hodiny: -

Mgr. Juraj Jurčo (cvičící)
173001@mail.muni.cz

Mgr. Karel Vaculík (cvičící)
256512@mail.muni.cz → xvaculi4@fi.muni.cz
Konzultační hodiny: -

Mgr. Martin Víta (cvičící)
333617@mail.muni.cz → info@martinvita.eu
Konzultační hodiny: -

Mgr. Lukáš Másilko (pomocník)
masli@mail.muni.cz → lukas.masilko@gmail.com
Konzultační hodiny: -

Mgr. Ondřej Nečas (pomocník)
xnecas@mail.muni.cz → necas@teiresias.muni.cz
Konzultační hodiny: -

Přednáška: St: 8:00-9:50, místnost: D1

Cvičení: Po: 9:40-11:15, místnost: S1 (36a), určeno pro studenty se zdravotním postižením
Cvičení: Po: 11:20-12:55, místnost: S8 (17), určeno pro studenty se zdravotním postižením
Cvičení: St: 9:40-11:15, místnost: S8 (17), určeno pro studenty se zdravotním postižením

Cvičení: IB101/01 Čt: 10:00–11:50, místnost: G126, E. Mráková
Cvičení: IB101/02 Čt: 12:00–13:50, místnost: G126, E. Mráková
Cvičení: IB101/03 Po: 8:00–9:50, místnost: G126, M. Pivoluska
Cvičení: IB101/05 St: 10:00–11:50, místnost: G101, A. Zlámal
Cvičení: IB101/06 Pá: 10:00–11:50, místnost: B410, A. Zlámal
Cvičení: IB101/07 Út: 8:00–9:50, místnost: G101, J. Jurčo
Cvičení: IB101/08 Čt: 8:00–9:50, místnost: G124, J. Jurčo
Cvičení: IB101/09 St: 14:00–15:50, místnost: G101, K. Vaculík
Cvičení: IB101/10 St: 18:00–19:50, místnost: G125, K. Vaculík
Cvičení: IB101/11 Út: 10:00–11:50, místnost: G123, M. Víta
Cvičení: IB101/12 Út: 12:00–13:50, místnost: G123, M. Víta
Cvičení: IB101/13 Čt: 14:00–15:50, místnost: G101, L. Popelínský







1. přednáška: Úvod do logiky, výroková logika, jazyk výrokové logiky, modely, vyplývání
Termín konání: středa 19. února 2014
1. cvičení:
Termín konání: pondělí 17. února 2014 - pátek 21. února 2014

2. přednáška: Výroková logika, logické formule, příklady
Termín konání: středa 26. února 2014
2. cvičení:
Termín konání: pondělí 24. února 2014 - pátek 28. února 2014

3. přednáška: Formální systémy výrokové logiky, axiomatické systémy, teorie důkazů ve výrokové logice, úvod do rezoluce
Termín konání: středa 5. března 2014
3. cvičení:
Termín konání: pondělí 3. března 2014 - pátek 7. března 2014

4. přednáška: Nekonala se
Termín konání: středa 12. března 2014
4. cvičení:
Termín konání: pondělí 10. března 2014 - pátek 14. března 2014

5. přednáška: Rezoluce (pokračování), SLD stromy, SAT a Davis-Putnam procedura
Termín konání: středa 19. března 2014
5. cvičení:
Termín konání: pondělí 17. března 2014 - pátek 21. března 2014

6. přednáška: Gentzenovský systém výrokové logiky, predikátová logika, přirozený jazyk
Termín konání: středa 26. března 2014
6. cvičení:
Termín konání: pondělí 24. března 2014 - pátek 28. března 2014

7. přednáška: Predikátová logika (pokračování), sémantika predikátové logiky, predikátové formule, příklady
Termín konání: středa 2. dubna 2014
7. cvičení:
Termín konání: pondělí 31. března 2014 - pátek 4. dubna 2014

8. přednáška: Predikátová logika - sémantika (pokračování), interpretace jazyka, splnitelnost, pravdivost, klasifikace, vyplývání, axiomy, prenexová n.f.
Termín konání: středa 9. dubna 2014
8. cvičení:
Termín konání: pondělí 7. dubna 2014 - pátek 11. dubna 2014

9. přednáška: Predikátová logika (pokračování), Skolemovy normální formy, Herbrandovy modely, unifikace, substituce
Termín konání: středa 16. dubna 2014
9. cvičení:
Termín konání: pondělí 14. dubna 2014 - pátek 18. dubna 2014

10. přednáška: Rezoluce (závěr), logické programování, Prolog, modální logika
Termín konání: středa 23. dubna 2014
10. cvičení:
Termín konání: úterý 22. dubna 2014 - pátek 25. dubna 2014

11. přednáška: Vícehodnotové logiky (Trojhodnotová - Lukasiewiczova logika, fuzzy logika)
Termín konání: středa 30. dubna 2014
11. cvičení:
Termín konání: pondělí 28. dubna 2014 - pátek 2. května 2014

12. přednáška: Vícehodnotové logiky (pokračování)
Termín konání: středa 7. května 2014
12. cvičení:
Termín konání: pondělí 5. května 2014 - pátek 9. května 2014








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.