The course introduces students into the basics of set theory, mathematical logic, graph theory and theory of algorithms.