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 Bellini College of Artificial Intelligence, Cybersecurity, and Computing | Department of Artificial Intelligence, Cybersecurity, and Computing