Symbolic logic, quantifiers, predicate calculus, methods of proof, set theory, relations and functions, graphs, trees, networks, recurrence relations, and complexity of algorithms. Prerequisites: Sophomore status and MATH 2471.