Introduction to the theoretical underpinnings of computer science. Topics include propositional predicate logic, set theory, functions and relations, counting, mathematical induction and recursion (generating functions).
Prerequisites: Computer Science 16 with a grade of C or better and Mathematics 4A with a grade of C or better.