Introduction to Logic
CS157 Autumn 2017-2018
TTh 12:00 - 13:20 in Gates B01
Intrologic Piazza


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.

This year, we are continuing our experiment with a "flipped classroom" approach to teaching the course. You are expected to review the course materials on your own time. There will be no traditional lectures after the first day. Instead, for those of you on campus, we will use class time for discussion. These discussions will be driven by questions you ask during the sessions; they will not be lectures. If you do not have questions, there won't be much discussion.

(Note for SCPD students: Only the first lecture and review sessions will be televised. In order to make the other discussions more intimate, they will not be televised. SCPD Students are welcome to attend these sessions in person. Any SCPD students who cannot attend and have questions are encouraged to email us with questions, and we will provide timely responses or set up online chats.)

Collaboration is encouraged. Our experience has shown that it is useful for students to work together to understand the material of the course and to do exercises. Such activity is both acceptable and encouraged. That said, you are expected to submit your own work in this course; and you are responsible for understanding and being able to explain any solutions you submit.

All of the materials for the course are accessible via "Intrologic" tab at the top of this page. There are links to lessons, interactive exercises, a glossary, logic puzzles, and some logic tools. In order to access this material, you will need to sign up on the site. Please use your Stanford email address, as we will use this correlate your work there with our class lists.

Your grade for the course will be based on your online results, an in-class midterm (during class on October 20 in our regular classroom), and an in-class final exam . The online results will count for 25% of your grade; the midterm, 25%; and the final 50%. As preparation for the in-class exams, we highly recommend that you review the online exercises, as the problems on the in-class exams will closely resemble these exercises.

Note that, as you proceed through the online materials, you may occasionally encounter technical problems. Apologies in advance if this happens to you. We are still working on the course. You may get extra credit for reporting such problems (especially if your reports are not especially irate).

Mike Genesereth
Office: Gates 220
Office Hours: Wed 3-4

© Copyright 2017 by Michael Genesereth. All rights reserved.