This course introduces Discrete Mathematics techniques to Information Technology and Computer Engineering students. Topics covered include propositional logic, predicate logic, inference, induction & other proof techniques, counting, sets, functions, recursion, relations, graphs, and trees.