Syllabus
Propositional calculus. Sets, relations, morphisms.
Functions. (In)Equations. Complex numbers.
Mathematical language - definition, axiom, theorem, proposition, proof, types of proofs, notation, symbolical exposition.
Annotation
The seminar helps to obtain an overview of subjects of high school.
Problems with mathematical language, notation, symbolic exposition and logic will be discussed.