CS157: Computational Logic

Fall 2006-2007

Announcements

December 18
Final exam solutions have been posted.

Letter grades have been posted to Axess. Statistics have been put up below. Final exams will be available for pickup around January 8th. We hope you enjoyed the class. Have a good vacation and happy new year!
December 7
The solutions to problem set 4 have been posted.
The slides to the GGP lecture have been put up.
November 30
The problem set 4 deadline has been extended to Saturday Dec. 2nd at 11:59 pm. Since the solutions will be posted on Wednesday, you may not turn in your homework any later than Tuesday Dec. 5th at 11:59 pm.
November 29
The solutions to problem set 3 have been posted.

A PS4 FAQ has been created.
November 17
Problem set 4 has been posted. Due: Thursday Nov. 30 11:59 pm.

View the archived announcements.

Course Information

Class Notes

Errata
Chapter 1 - Introduction (pdf or ps)
Chapter 2 - Propositional Logic (pdf or ps)
Chapter 3 - Semantic Methods (pdf or ps)
Chapter 4 - Propositional Proofs (pdf or ps)
Chapter 5 - Propositional Resolution (pdf or ps)
Chapter 6 - Relational Logic (pdf or ps)
Chapter 7 - Herbrand Method (pdf or ps)
Chapter 8 - Relational Proofs (pdf or ps)
Chapter 9 - Relational Resolution (pdf or ps)
Information Integration (doc and pdf)

Lecture Notes

Errata
Lecture 1 (pdf) - Introduction
Lecture 2 (pdf) - Propositional Logic
Lecture 3 (pdf) - Truth Tables, Propositional Proofs
Lecture 4 (pdf) - Propositional Resolution
Lecture 5 (pdf) - Relational Logic
Lecture 6 (pdf) - Relational Semantics
Lecture 7 (pdf) - Relational Proofs
Lecture 8 (pdf) - Herbrand's Theorem & Alternate Semantics
Lecture 9 (pdf) - FOL Resolution I: Preliminaries
Lecture 10 (pdf) - FOL Resolution II: Resolution Principle
Lecture 11 (pdf) - FOL Resolution III: Applications
Lecture 12 (pdf) - FOL Resolution IV: Strategies
Lecture 13 (pdf) - Ordered Resolution
Lecture 14 (pdf) - Epilog
Lecture 15 (pdf) - Equality
Lecture 16 (pdf) - Mathematical Induction
Lecture 17 (ppt pdf) - Guest lecturer: Iddo Lev: Precise Understanding of Language by Computers (PULC project)
Lecture 18 (ppt pdf) - Guest lecturer: Michael Kassoff: Logical Spreadsheets
Lecture 19 (pdf) - Guest lecturer: David Haley: General Game Playing
Lecture 20 (pdf) - Final exam review

Problem Sets

If you have questions, please see the General FAQ in addition to the FAQ for the specific problem set. Make sure to check the FAQ regularly, especially before submitting.

Problem set 1. Due: Thursday, October 12, 11:59 pm. [pdf] [ps] FAQ. Solutions: [pdf] [ps]
Problem set 2. Due: Thursday, October 26, 11:59 pm. [pdf] [ps] FAQ. Solutions: [pdf] [ps]
Problem set 3. Due: Thursday, November 9, 11:59 pm. [pdf] [ps] FAQ. Solutions: [pdf] [ps]
Problem set 4. Due: Thursday, November 30, 11:59 pm. [pdf] [ps] FAQ. Solutions: [pdf] [ps]
Final exam. [pdf]. Solutions: [pdf] [ps]

Class statistics:

	Average	Standard Deviation
PS 1	88.01	13.42
PS 2	84.02	12.55
PS 3	84.27	16.48
PS 4	89.33	18.03
Final exam	87.37	10.08

Other Sources

Online Materials from Spring 2004
Online Materials from Spring 2005
Online Materials from Fall 2005
For a general overview of Logic, check out the page in Wikipedia.

Feedback

To send the cs157 staff anonymous feedback click here.