Topics will include symbolic logic, functions, cardinality, proofs, mathematical induction, pigeonhole principle, permutations, combinations, trees, and graphs. Prerequisite: MATH 241 or consent of instructor. Credit, 3 hours. Offered spring semesters.