MAT 140 - Introduction to Discrete Mathematics

Provides the foundation essential for sound mathematical reasoning and computer science. Topics include, but are not restricted to, propositional and predicate logic; proof strategies and induction; sets, functions, and recursion; elementary counting techniques; and number systems.