Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

   
    Jun 19, 2021  
2020-2021 Graduate Catalog 
    
2020-2021 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.

USF | College of Engineering | Computer Science and Engineering