Prerequisite: MATH 100 or equivalent. Offered in fall and spring. Introduction to the following topics: sets, sequences, integers, basic propositional and predicate logic, methods of proof (including mathematical induction), combinatorics, functions, relations and digraphs, matrices and boolean matrices, graphs and trees.