The course links up high school knowledge with basic concepts
of discrete mathematics. It mainly deals with
fundaments of mathematical logic, set theory, combinatorics
and graph theory. After passing the course, the student will be able to understand and explain basic mathematical notions and techniques and their mutual connections.
Basic logical concepts (formulae, notation for mathematical statements, proofs)
Basics of set theory (set operations, including the Cartesian product).
Mappings (types of mappings, composition).
Cardinality of a set (finite, countable and uncountable sets).
Relations (types and properties of relations, composition).
Equivalences and partitions (kernel of a mapping, constructions of
selected number domains).