| |
May 29, 2023
|
|
|
|
|
2020-2021 Graduate Catalog [ARCHIVED CATALOG]
|
CAP 6632 Automated Reasoning and Theorem Proving
Credit Hours: 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.
USF | College of Engineering | Computer Science and Engineering
|
|