|
Aug 31, 2024
|
|
|
|
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. ♦
Add to Portfolio (opens a new window)
|
|