Description
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 theory. The first course of a two-term sequence strongly recommended for computer engineering, computer science and mathematics majors.