1. přednáška 12.2. 2019.
Presentace 1 Úvod: co je předmětem logiky
Tématický okruh (a): Jazyk výrokové a predikátové logiky (1. řádu) a formalizace explicitních znalostí
2. přednáška 19.2. 2019:
Presentace 2 Jazyk výrokové logiky a formalizace tvrzení v tomto jazyce
3. přednáška 26.2. 2019:
Presentace 3 Jazyk predikátové logiky a formalizace tvrzení v tomto jazyce
4. přednáška 5.3. 2019: Presentace 4 Ekvivalentní úpravy a negace
Cvičení k okruhu (a): Cvičení 1 Cvičení 2 Cvičení 3
Cvičení 4 Cvičení 5
Tématický okruh (b): Odvozování implicitních znalostí z explicitní báze
5. přednáška 19.3. 2019: Presentace 6 Rezoluční metoda ve výrokové a predikátové logice
6. přednáška 2.4. 2019: Presentace 6 Rezoluční metoda v predikátové logice
Tématický okruh (c): Základy formálních metod specifikace programů a logické programování
7. přednáška 16.4. 2019: Presentace 5 Logické programování
8. přednáška 23.4. 2019: Libor Běhounek Základy fuzzy logiky.
9. přednáška 30.4. 2019: Zápočtový test, předtermín zkoušky
Ke studiu:
Presentace 8 Programovací jazyk Prolog
Presentace 7 Sémantické dokazování, Aristotelova logika
květen 2019: Zkouškové termíny ...