To introduce students to basic elements of discrete mathematics as a foundation of computer sciences and new technologies. In this context students should learn how to apply the formal methods of propositional and predicate logic in modeling situations from real life including those in the field of computer sciences. To learn and apply basic proof methods and the methods of mathematical induction. To explain with examples the terminology, operations in the theory of sets, functions and relations and their application.