An introduction to foundational mathematics required by mathematics and computer science majors. Topics include logic, methods of proof, induction recursion relations, complexity of algorithms, Boolean algebra, and an introduction to languages, grammars, and finite-state machines.

Prerequisite Courses