CS 576
CS 576 - Topics in Automated Deduction
Fall 2025
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Topics in Automated Deduction | CS576 | M | 71847 | LCD | 4 | 1100 - 1215 | T R | 0220 Siebel Center for Comp Sci | Talia Ringer |
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.