The topics covered in this Course 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.