Propositional calculus. Sets, relations, morphisms.

Functions. (In)Equations. Complex numbers.

Mathematical language - definition, axiom, theorem, proposition, proof, types of proofs, notation, symbolical exposition.

The seminar helps to obtain an overview of subjects of high school.

Problems with mathematical language, notation, symbolic exposition and logic will be discussed.