Introduction to discrete mathematical topics used in computer applications. Topics include, but are not limited to, discrete mathematics, predicate and propositional logic, complexity, computability, sets, graphs, recursion, and digital structures. Study demonstrates how traditional mathematical concepts are imported and used in digital computers. Course work includes application of theories through guided computer exercises and programs. 3 Credits (3 Lecture) Prerequisite(s): CIT160 and MTH182 or CIT160 and MTH190 or CIT160 and MTH240. Spring Only.