Subject
ECS 274
Title
Automated Deduction
Status
Active
Units
4.0
Effective Term
1997 Fall Quarter
Learning Activities
Lecture: 3 hours
Description
Techniques of mechanical theorem proving. Methods based on resolution and termrewriting. Decision procedures. Induction. Applications to program verification, question/answering and plan generation. Study existing mechanical theorem provers.
Prerequisites
PHI 112; or MAT 125 or familiarity with first order logic.