Topics covered are set theory, statements, mathematical induction, propositional and predicate logic, Boolean algebra, relations, functions, counting methods, graph theory, recurrence relations and examples applicable to computer science.