May 19, 2024  
2021-2022 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  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
  College of Health & Human Services
  College of Informatics
  Salmon P. Chase College of Law
  Course Descriptions
  Faculty and Emeritus Faculty
  My Portfolio
HELP
2021-2022 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)