| |
Jun 30, 2022
|
|
|
|
|
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):
|
|