Course Number
CMPSC 40
Internal Course Number
40
Level
Undergraduate
Units
5
Faculty
Jianwen Su
Wim van Dam
Course Description

Prerequisite: Computer Science 16 with a grade of C or better and Mathematics 4A with a grade of C or better.
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).