CS157: Computational Logic

Autumn 2008-2009

Announcements

December 8: The final exam is available here for SCPD students. Please fax to SCPD by 6:30pm appropriately.
December 5: The final exam will be posted on this website at 3:30pm on December 8 for all remote SCPD students. Please allot three hours for this exam and return the exam via the standard SCPD channels in a timely fashion.
December 1: The final exam for CS 157 will be held on Monday, 12/08 at 3:30PM - 6:30PM in Terman Auditorium.
December 1: Grades and solutions for Problem Set #4 have been posted.
November 18: Problem Set 4 FAQ has been posted.
November 14: Grades and solutions for Problem Set #3 have been posted.
November 13: Problem Set #4 has been posted. Note that you have until Thursday, 11/20 at 11:59pm to submit this assignment since it was released on schedule. A review session covering the material for Problem Set 4 will take place on Monday, November 17 from 4:15-5:05pm in 250-201.
November 2: A review session covering the material for Problem Set 3 will take place on November 3 from 4:15-5:05pm in 250-201.
October 31: Problem Set #3 has been posted. Note that you have until Friday, 11/7 11:59pm to submit this assignment. Please submit your work via Coursework, NOT via email. Problem Set 3 FAQ has also started.
October 30: Grades for Problem Set #2 available on Coursework. Problem Set 2 Solutions have also been posted.
October 29: The Late Homework policy has been amended. Problem Sets will not be accepted 3 days after the deadline. This is to ensure we can finish grading and post solutions in a timely manner.
October 21: The solutions for Problem Set #1 have been posted.
October 20: A FAQ regarding the concepts and problems for problem set 2 has been posted on the schedule under the link for problem set 2.
October 19; A review session covering the material for problem set #2 will take place on October 20 from 4:15-5:05pm in 250-201. The review session will not be televised; however, we will post all presented problems and frequently asked questions on this website.
October 17: Problem Set #2 has been posted. Note that you have until Friday, 10/24 11:59pm to submit this assignment. Please submit your work via Coursework, NOT via email.
October 14: Grades for PS #1 available on Coursework. Solutions will be posted shortly.
October 6: Notes from the review session and answers to PS #1 questions we've been getting have been posted as a FAQ. The review session was not filmed. The Homework Submission Policy has been updated. Please submit your homework via email to cs157-aut0809-submit@lists.stanford.edu.
October 5: The review session will take place from 4:15-5:05pm on October 6 in 250-201. We're working on getting a closer room for next time.
October 2: Problem Set #1 has been posted. Enjoy! Please check the Homework Submission Policy for information on submitting your assignments.
September 30: Office hours posted, though subject to change.
September 19: Web Site open. Welcome to CS157.

Course Information

Date	Weekday	Topic	Reading	Lecture	Problem Set
September 23	Tuesday	Introduction	Chapter 1	Lecture 1
25	Thursday	Propositional Logic	Chapter 2, Chapter 3	Lecture 2
30	Tuesday	Propositional Proofs	Chapter 4	Lecture 3
October 2	Thursday	Propositional Resolution	Chapter 5, DP, DPLL, SAT Solvers	Lecture 4	Problem Set 1 FAQ Problem Set 1 Solutions
7	Tuesday	Relational Logic	Chapter 6	Lecture 5
9	Thursday	Relational Logic Semantics		Lecture 6	Problem Set 1 Due Problem Set 1 Rubric
14	Tuesday	Herbrand Method	Chapter 7	Lecture 7
16	Thursday	Relational Proofs	Chapter 8	Lecture 8	Problem Set 2 Problem Set 2 FAQ Problem Set 2 Solutions
21	Tuesday	Resolution Preliminaries	Chapter 9	Lecture 9
23	Thursday	Resolution Theorem Proving		Lecture 10
24	Friday				Problem Set 2 Due
28	Tuesday	Applications		Lecture 11
30	Thursday	Resolution Strategies		Lecture 12	Problem Set 3 Problem Set 3 FAQ Problem Set 3 Solutions
November 4	Tuesday	Model Elimination		Lecture 13
6	Thursday	Epilog		Lecture 14
7	Friday				Problem Set 3 Due
11	Tuesday	Equality		Lecture 15
13	Thursday	Mathematical Induction		Lecture 16	Problem Set 4 Problem Set 4 FAQ Problem Set 4 Solutions
18	Tuesday	Example		Lecture 17
20	Thursday	Example		Lecture 18	Problem Set 4 Due
25	Tuesday	Thanksgiving - no class
27	Thursday	Thanksgiving - no class
December 2	Tuesday	Example			No class
4	Thursday	Review		Lecture 20

CS157: Computational Logic

Autumn 2008-2009

Announcements

Course Information

Other Sources

Software