Apr 19, 2024  
USC Catalogue 2016-2017 
    
Catalog Navigation
  Catalogue Home
  About USC
  Administration
  Admission and Orientation
  Tuition and Fees
  The Schools and Academic Units
  Courses of Instruction
  Programs, Minors and Certificates
  Schedule of Classes
  Academic and University Policies
  Undergraduate Education
  Graduate and Professional Education
  The Graduate School
  About the Catalogue
  Past Catalogues
HELP
USC Catalogue 2016-2017 [ARCHIVED CATALOGUE]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

CSCI 581 Logic and its Applications

Units: 3
Formal systems, first order logic, truth, completeness, compactness, Godel incompleteness, recursive functions, undecidability. Selected applications, e.g., theorem proving, artificial intelligence, program verification, databases, computational complexity.
Prerequisite: CSCI 430  and MATH 470.
Instruction Mode: Lecture
Grading Option: Letter


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)