CS 576 - Topics in Automated Deduction

Spring 2024

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Topics in Automated DeductionCS576N31622LCD41230 - 1345 T R  1214 Siebel Center for Comp Sci Talia Ringer

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.