A course at the University of Ostrava, Faculty of Science (university course code: LOTM), taught by Martina Dankova (logic, 4–5 weeks) and myself (Libor Behounek, set theory, 7–8 weeks). Depending on the audience, the course can be taught in Czech or English. The next run of the course is planned for the winter term of 2022/2023.
Last modified: 20 February 2022, 20:27 CET
In 2013-2016, the course was taught jointly by Antonin Dvorak, Petra Murinova, and myself (Libor Behounek), and its main focus was on logic. Since 2017, the course has been taught in the present form (with minor variations). Till 2019, the course was titled Logic and set theory (university code LOTEM).