- Propositional and predicate logic, theories and their models, fundaments of set theory.
- Introduction to hypothesis testing.
- Selected topics of linear algebra (eigenvalues and eigenvectors).
Introdutionary seminar from mathematical logic and statistics. Moreover, it extends linear algebra lecture.