Computational Logic
CS157
This course is a rigorous introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Topics Include
- The syntax and semantics of Propositional Logic
- Relational Logic and Herbrand Logic
- Validity, contingency, unsatisfiability, logical equivalence
- Entailment, consistency, natural deduction (Fitch)
- Mathematical induction, resolution, compactness, soundness, completeness
Note: CS157 has a limited number of recorded sessions and a varied catalog of course materials which guide students through the course.
What You Need to Succeed
- A conferred bachelor’s degree with an undergraduate GPA of 3.0 or better
- Mathematical foundations of computing (CS103) or equivalent
What You Need To Get Started
Before enrolling in your first graduate course, you must complete an online application.
Don’t wait! While you can only enroll in courses during open enrollment periods, you can complete your online application at any time.
Once you have enrolled in a course, your application will be sent to the department for approval. You will receive an email notifying you of the department's decision after the enrollment period closes. You can also check your application status in your mystanfordconnection account at any time.
Learn more about the graduate application process.