Jun 30, 2022  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

CAP 4637 - Automated Reasoning and Theorem Proving


Credit(s): 3
This course covers the principles of automated reasoning/mechanical theorem proving. Topics to be covered include propositional logic, predicate logic, skolem standard forms, various resolution principles and methods, and non-classical logics.

Prerequisite(s): COP 4530  with a minimum grade of C-
Restriction(s):
  • Majors Only