Provides a working knowledge of set theory, mathematical induction and recursion, relations and digraphs, functions, trees and languages, finite-state machines, and languages and how these topics are applied to the practice of computer science. Students who are required to take learning support math must successfully complete it before taking this course.