Theoretical foundations of computer science, including sets, functions, Boolean algebra, first order predicate calculus, trees, graphs, discrete probability.
Prerequisites
MATH 201 and knowledge of a high-level programming language or departmental permission.