Topics include algebraic structures, graph theory, combinatorics, and symbolic logic. Offered every Fall. Prerequisite: CS - 110 and MATH 108 or equivalent score on the Math Placement Exam.