Dec 18, 2018  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

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]