May 02, 2024  
2018-2019 Graduate Catalog 
    
  Catalog Home
  About the University
  Accreditation
  Trustees & Administrative Leadership
  Academic Calendar
  Student Rights & Responsibilities
  Academic & Administrative Policies
  Colleges, Schools, & Departments
  Graduate Programs
  Course Descriptions
  Admissions
  Costs, Financial Aid, & Assistantships
  Research Facilities & Services
  Contact Information
  Maps & Directions
HELP
2018-2019 Graduate Catalog [ARCHIVED CATALOG]

CS 720 - Logical Foundations of Computer Science

3 Credit(s)

Description:
The course treats the logical foundations of computer science in a mathematically rigorous way but with emphasis on the applications of logic in computer science. Topics include the syntax and semantics of predicate logic, formal systems for predicate logic, many-sorted logic, and logic programming. Additional topics may include equational logic, algebraic specification, term rewriting, program verification, nonstandard logic, and databases. Students are expected to demonstrate an understanding of theoretical material and the ability to apply it.

Enrollment Requirements:
MATH 470 or equivalent and permission of instructor

013165:1