Topics include propositional and predicate logic, rules of inference, methods of proof, set operations, functions, complexity of algorithms, growth of functions, induction, counting, relations, equivalence relations and graphs. Prerequisites: MATH 163 and a grade of C or better in CS 150, CS 151, CS 153, or ENGN 150.