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