CS157: Computational Logic

December 10: The final exam will be December 12th from 7pm to 10pm in Gates B03.
December 10: PS 4 solutions posted.
November 28: PS 3 solutions posted.
November 16: PS 4 has been posted.
November 15: challenge problems have been posted.
November 9: PS 2 solutions posted.
November 2: PS 3 and a FAQ have been posted.
November 1: PS1 stats have been posted.
October 16: PS 2 and a FAQ have been posted.
October 8: A PS 1 FAQ has been added.
October 2: PS 1 posted.
September 24: Web Site open. Welcome to CS157.

Date	Weekday	Topic	Reading	Lecture	Problem Set
September 25	Tuesday	Introduction	Chapter 1	Lecture 1
27	Thursday	Propositional Logic	Chapter 2, Chapter 3	Lecture 2
October 2	Tuesday	Propositional Proofs	Chapter 4	Lecture 3
4	Thursday	Propositional Resolution	Chapter 5, DP, DPLL, SAT Solvers	Lecture 4	Problem Set 1 (solutions) FAQ
9	Tuesday	Relational Logic	Chapter 6	Lecture 5
11	Thursday	Relational Logic Semantics		Lecture 6	Problem Set 1 Due
16	Tuesday	Herbrand Method	Chapter 7	Lecture 7
18	Thursday	Relational Proofs	Chapter 8	Lecture 8	Problem Set 2 (solutions) FAQ
23	Tuesday	Resolution Preliminaries	Chapter 9	Lecture 9
25	Thursday	Resolution Theorem Proving		Lecture 10	Problem Set 2 Due
October 30	Tuesday	Applications		Lecture 11
November 2	Thursday	Resolution Strategies		Lecture 12	Problem Set 3 (solutions) FAQ
6	Tuesday	Model Elimination	ME w/o Contrapositives	Lecture 13
8	Thursday	Epilog		Lecture 14	Problem Set 3 Due
13	Tuesday	Equality		Lecture 15
15	Thursday	Mathematical Induction		Lecture 16	Problem Set 4 (solutions)
20	Tuesday	Thanksgiving - no class
22	Thursday	Thanksgiving - no class
27	Tuesday	Example: Static Program Analysis (Dillig)		Lecture 17
29	Thursday	Example: General Game Playing (Haley)		Lecture 18	Problem Set 4 Due
December 4	Tuesday	Review Session		Lecture 19
6	Thursday	No class