This is the first course in discrete mathematics with introduction to logic and formal reasoning. Topics include fundamental principles of counting and logic, set theory, mathematical induction, properties of integers, relations and functions. The course is primarily designed for Mathematics, Computer Science, and Science students, but Social Science students who need credits to fulfill their associate degree requirement can also benefit from it. It is a required course for Associate Degree in Mathematics students.