Libor Behounek - Logic - Teaching - Mathematical Logic and Set Theory

Mathematical Logic and Set Theory

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.

Study materials:
  • L. Behounek, M. Dankova: Mathematical Logic and Set Theory (a bilingual Czech-English coursebook for the course). Ostrava University 2020.
  • B. Pospisil: Nekonecno v matematice, pp. 1–62 and 69–77 (Czech).

Last modified: 20 February 2022, 20:27 CET

Previous runs of the course

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).

Study materials from previous runs: