Fee may apply
CS 157 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.
Please note: CS157 has a limited number of recorded sessions and a varied catalog of course materials which guide students through the course.
Note on Course Availability
This course is typically offered Autumn quarter.
The course schedule is displayed for planning purposes – courses can be modified, changed, or cancelled. Course availability will be considered finalized on the first day of open enrollment. For quarterly enrollment dates, please refer to our graduate certificate homepage.
CS103 or equivalent
|Dates:||September 23 - December 6, 2019|
Provides Stanford University credit that may later be applied towards a graduate degree or certificate. Includes access to online course materials and videos for the duration of the academic quarter. Starting Autumn 2016 there is a $100 fee per course for courses dropped before the drop deadline. Click here for more information about our Registration Policies.
NotesEnrollment Dates: August 1 to September 9, 2019
Computer Science Department Requirement
Students taking graduate courses in Computer Science must enroll for the maximum number of units and maintain a B or better in each course in order to continue taking courses under the Non Degree Option.
This course may not currently be available to learners in some states and territories.