Sign In
 

 ICS 584: Automated Theorem Proving

​Course Information

Designation:   Elective Course

Course Level:   Graduate

Prerequisites

Prerequisite(s) by Topic: 

Prerequisite: Consent of the Instructor

Catalog Description: 

Survey of proof theory and model theory of first-order predicate calculus, natural deduction, Herbrand’s procedure, resolution methods, induction principles, rewrite rules, theorem-provers for algebraic systems.​