This course continues the discussion of discrete mathematical structures and algorithms introduced in MAT 2440. Topics in the second course include predicate logic, recurrence relations, graphs, trees, digital logic, computational complexity and elementary computability.
Credit(s): 3
Prerequisite: MAT 2440