Prepares students for a fundamental understanding of computing and computer science. Includes set theory, boolean algebra, relations, functions, graph theory and techniques for formal reasoning.