EdusalsaDiscover Your Stanford

CS 157

Logic and Automated Reasoning

  • autumn

3 units

Letter or Credit/No Credit

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.


  • GER:DB-EngrAppSci

Course Prequisites

CS 157 is useful for



Grade Distribution

Sign Up

To save CS 157 to your course bucketlist

Already Have An Account? Log In