Prerequisite(s): ( MTH112 )

Topics include: Propositional calculus (the logic of compound statements), predicate calculus (the logic of quantified statements), elementary number theory and proof methods, sequences and mathematical induction, set thoery. The first course of a two-term sequence strongly recommended for computer engineering, computer science and mathematics majors.

This course may be taken 1 time for credit.