CS 157: Logic and Automated Reasoning
An elementary exposition from a computational point of view of propositional and predicate logic, axiomatic theories, and theories with equality and induction. Interpretations, models, validity, proof, strategies, and applications. Automated deduction: polarity, skolemization, unification, resolution, equality. Prerequisite: 103 or 103B.
Terms: Aut
| Units: 3
| UG Reqs: GER:DB-EngrAppSci
Instructors:
Genesereth, M. (PI)
;
Gross, R. (TA)
;
Kala, C. (TA)
;
Ray, S. (TA)
;
Valdivia, H. (TA)
Filter Results: