Symbolic logic, number concepts, mathematical induction, set theory, relations and functions, graphs, trees, recurrence relations, and complexity of algorithms. Prerequisites: CS 1309 or Math 1470 or higher or three years of high school mathematics (including two years of algebra) and an appropriate score on the Mathematics Placement Test.