CS157: Computational Logic

September 17: Web Site open. Welcome to CS157.
October 1: Problem Set 1 has been posted.
October 13: Problem Set 1 solutions have been posted.
October 15: Problem Set 2 has been posted.
October 16: Problem Set 1 solutions have been updated. Solutions to question 6 now gives complete arguments.
October 29: Problem Set 3 has been posted.
November 2: Problem Set 2 solutions have been posted.
November 10: Problem Set 3 solutions have been posted.
November 12: Problem Set 4 has been posted.

Date	Weekday	Topic	Reading	Lecture	Problem Set
September 22	Tuesday	Introduction	Chapter 1	Lecture 1
24	Thursday	Propositional Logic	Chapter 2, Chapter 3	Lecture 2
29	Tuesday	Propositional Proofs	Chapter 4	Lecture 3
October 1	Thursday	Propositional Resolution	Chapter 5, DP, DPLL, SAT Solvers	Lecture 4	Problem Set 1 Solutions
October 6	Tuesday	Relational Logic	Chapter 6	Lecture 5
8	Thursday	Relational Logic Semantics		Lecture 6
13	Tuesday	Relational Proofs	Chapter 7	Lecture 7
15	Thursday	Properties of Relational Logic		Lecture 8	Problem Set 2 Solutions
20	Tuesday	Resolution Preliminaries	Chapter 9	Lecture 9
22	Thursday	Resolution Theorem Proving		Lecture 10
27	Tuesday	Applications		Lecture 11
29	Thursday	Resolution Strategies		Lecture 12	Problem Set 3 Solutions
November 3	Tuesday	Model Elimination		Lecture 13
5	Thursday	Epilog	Caching	Lecture 14
10	Tuesday	Equality		Lecture 15
12	Thursday	Mathematical Induction		Lecture 16	Problem Set 4
17	Tuesday	Example
19	Thursday	Consequence-finding		Lecture 18
24	Tuesday	Thanksgiving - no class
26	Thursday	Thanksgiving - no class
December 1	Tuesday	Review
3	Thursday	no class