Cross-listed with MATH 2322. 330Prerequisite(s): CS 2321 or MATH 2321. Continuation of the discussion of discrete mathematics introduced in CS 2321 or MATH 2321. Topics include predicate logic, recurrence relations, graphs, trees, matrices, computational complexity, elementary computability and discrete probability.