A course at the
University of Ostrava,
Faculty of Science
(university course codes `MALOG`, `MALXG`)
for the bachelor study program Geography (sic)
and master study programs
Teaching for Secondary Schools (various specializations).
I taught the course from 2013 to 2016,
in 2013–2014 jointly with
Antonin Dvorak.
Since 2017, the course is taught by
Antonin Dvorak and
Petra Murinova.

**Lecture slides** used in 2013–2014 (PDF, Czech):

- Semantics of classical propositional logic (slides for Logic and Set Theory; parts were also used for Mathematical Logic)
- Classical predicate logic