CS 576
CS 576 - Topics in Automated Deduction
Spring 2026
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Topics in Automated Deduction | CS576 | DSO | 57687 | ONL | 4 | - | Elsa Gunter | ||
| Topics in Automated Deduction | CS576 | MCS | 78312 | PKG | 4 | - | Elsa Gunter | ||
| Topics in Automated Deduction | CS576 | MCS | 78312 | PKG | 4 | - | Elsa Gunter | ||
| Topics in Automated Deduction | CS576 | N | 31622 | LCD | 4 | 1530 - 1645 | T R | 0220 Siebel Center for Comp Sci | Elsa Gunter |
See full schedule from Course Explorer
Official 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. Course Information: May be repeated in separate terms. Prerequisite: As specified for each topic offering, see Schedule or departmental course description.