A study of concepts foundational to computer science: sets, logic, the nature of proof, functions, algorithms, relations, lattices, and graphs.

Prerequisite: COSC 235 with a minimum grade of D and (MATH 140 with a minimum grade of D or MATH 160 with a minimum grade of D or MATH 181 with a minimum grade of D).