A course in Discrete Mathematics with an emphasis on the development of formal mathematical proof writing skills. Methods of proof covered include direct proof, proof by contraposition, proof by contradiction, division into cases, and mathematical induction. Students will be expected to create coherent structured arguments using sound logical reasoning and mathematically correct terminology and notation. Topics include propositional and predicate logic, elementary number theory, set theory, functions, relations, and combinatorics. Three class hours. Prerequisite: MTH 210 with a grade of C or higher, or equivalent. 3 credits