Online Course Catalog
CS 576 - Topics in Automated Deduction
Spring 2015
| Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|
| Topics in Automated Deduction | ONL | 57687 | ONL | 4 | - | 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
Prerequisites
Undergraduate degree.
Subject Area
- Computer Science