Augustana Faculty
Sets, functions, elementary propositional and predicate logic, Boolean algebra, elementary graph theory, proof techniques (including induction and contradiction), and combinatorics. Prerequisites: AUMAT 110 or 116, and 120.