Topics include sets, propositional and predicate calculus, recursive definitions, and recurrence relations, combinatorial techniques, partially ordered sets, graphs, trees, Boolean algebra, algebraic systems. or
Prerequisite:
MAT 242 Calculus II and MAT 289 Introduction to Mathematical Rigor.