Credit(s):4 Lecture Hour(s):4 Prerequisite(s): MAT 2410 Formerly MAT 215 Concentrates on formal logic, algorithms, induction proofs, equivalence relations and graphs. This course is designed for mathematics and computer science students. This is a statewide Guaranteed Transfer course in the GT-MA1 category. GT-MA1