Online Course Catalog

CS 576 - Topics in Automated Deduction

Spring 2015

Topics in Automated DeductionONL57687ONL4 -    Elsa Gunter

Course Description

Advanced topics in computer-aided methods for formal deduction, selected from areas of current research, such as: resolution theorem proving strategies, special relations, equational reasoning, unification theory, rewrite systems, mathematical induction, program derivation, hybrid inference systems, and programming with logic are covered in this course.

Credit Hours

4 hours


Undergraduate degree.

Subject Area

  • Computer Science