Course Catalog Description:
Introduction to propositional logic, predicate logic, formal logical arguments, finite
sets, functions, relations, inductive proofs, recurrence relations, graphs, and their
applications to Computer Science.
Prerequisites: CS 1410 and Calculus I