May 22, 2025  
2018-2019 Graduate Catalog 
    
Catalog Navigation
Catalog Home
Catalog Cover 19-19
University and Graduate Education Information
Graduate Programs Application and Admission Requirements
Graduate Programs Progression to Degree
Degree and Certificate Exit Program Requirements
Academic Support and Policies
University Services
Tuition and Fees
Financial Aid
Graduate Programs
College of Arts and Sciences
Haile/US Bank College of Business
College of Education and Human Services
College of Health Professions
College of Informatics
Salmon P. Chase College of Law
Course Descriptions
Faculty and Emeritus Faculty
18-19 cover
My Portfolio
2018-2019 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 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)