Mar 28, 2024  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CSC 685 Logic and Computation (3 credits)

Hours: 3 classroom + 0 lab/studio
Prerequisite(s): CSC 585  and CSC 601 .
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)