CS 157: Introduction to Logic

Autumn 2014-2015

Class and Office Hours

On Tuesdays and Thursdays at 2:15 pm - 3:00 pm we will hold live discussion sessions in Gates 219 (also called the Gates 2A Open Space) and offer personal communication for those of you who want to discuss the material. Our experience suggests that, for most of you (maybe all of you), this format is likely to be superior to the traditional lecture model of education.

These sessions are optional but are highly encouraged. Drop by if you have any questions or just want to talk about the material. There will be no formal presentations in these sessions. We will be there just to answer questions and to discuss any and all matters related to Logic). SCPD Students are welcome to attend these sessions. If you cannot attend and have questions, feel free to email us of us with your questions. If necessary, we may arrange for times to communicate by phone or video-conference or host private office hours.


Your Stanford grade will be based on the following.

  1. Your performance on the online problem sets.
  2. Your performance on an in-class midterm and final exam.

There are approximately 70 problems in the online portion of this course, and your grades on these problems will affect your overall grade for the course. In particular, it will count for 50% of your overall grade. The other 50% will be based on the offline midterm and the offline final exam.

Course Description

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 systematically with such information to produce all logical conclusions and only logical conclusions. It examines logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

The mailing list cs157-aut1415-staff@lists.stanford.edu may also be used to contact us.

Course Information

Useful Links


(c) Copyright 1995-2014 by Michael Genesereth