CSC 685 Logic and Computation (3 credits)

Hours: 3 classroom + 0 lab/studio
Prerequisite(s): CSC 502 and CSC 585 .
Taught: Variable, check with department
Introduction to formal reasoning applied to computer science; propositional and predicate logic; algebraic specification of abstract data types; program correctness; survey of computability theory.
♦