This course introduces the basic discrete mathematics that is required in the contemporary aspects of computing. The topics covered are set theory, fundamental principles of counting, relation and function, graph, logic, mathematical induction and recursion.