2024-2025 Graduate 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.
Prerequisite(s): None
Corequisite(s): None
Co-Prerequisite(s): None
USF College of Engineering | Department of Computer Science and Engineering
|