Mathematical Logic

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