An introduction to basic techniques and modes of reasoning for discrete problem-solving. Topics include set theory, mathematical logic, mathematical induction, number theory, recurrence relations, counting, graphs and lattices. Prerequisite: MAT 103 or math placement xam results. FT