This course introduces the students to discrete mathematical structures. Topics include sets, relations, functions, propositional and predicate logic, rules of inference, proof methods, number theoretic concepts such as mod, congruence, GCD, LCM, etc., mathematical induction, basic counting techniques such as product rule, sum rule, principles of inclusion and exclusion, division rule, permutation, combination, pigeon-hole principle, etc., as well as introduction to graphs, trees, sequences, summations, and recurrence relations.