CS 576
CS 576 - Topics in Automated Deduction
Spring 2024
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Topics in Automated Deduction | CS576 | N | 31622 | LCD | 4 | 1230 - 1345 | T R | 1214 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.