Introduces the analysis of finite collections and mathematical foundations of sequential machines, computer system design, data structures, and algorithms. Includes: sets, counting, recursion, graph theory, trees, nets, Boolean algebra, automata, and formal grammars and languages. Prerequisite: take MATH-1423.