The course introduces students into the basics of propositional and predicate logic, set theory and graph theory.