Announcements

• November 26
  PS3 is graded, and solutions are published.
• November 27
  There was a typo in PS4, 8(a).
• November 28
  The in-class exam, on December 8, is closed book.
• November 28
  The order of the lectures this week has been switched -- Tuesday Nov 29 is "Uses of Logic in Computational Understanding of English", and Thursday Dec 1st is "Logical Spreadsheets".
• November 30
  There was an error in the submission system. If you submitted PS4 before November 30, please re-submit. Your PS3 was overrun by your PS4 submission, but we have backups for PS3 and will restore them once PS4 is resubmitted.
• December 5
  PS4 solutions are out. PS4 is being graded. NOTE: Points on PS4 sum up to 96, so everyone is going to get +4 points for free!
• December 6
  Here is a link to a page about how to write a sentence in logic that expresses the same information as a sentence in English (as you had to do on some PSs) -- thanks to Dave Willis for pointing out this page!
• December 7
  PS4 is still being graded. It is not complete yet and some grades may change. Please wait until the grading is done before asking for regrades.
• December 14
  PS4 and the final are graded, and grades have been posted on axess. Finals can be retrieved from Mike's office.
  It has been a pleasure interacting with you in this class. Have a great vacation, happy holidays and a happy new year!

Course Information

• Information
• Lecture Schedule (Tentative)
• Link to SCPD course online (see past lectures on your computer!) . (Trouble with login?)
• People
• Mailing lists
• Collaboration Policy
• Homework Submission Policy
• Regrade Policy
• Frequently Asked Questions
• Standard Axiom Schemata

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)
• Lecture 2 (pdf)
• Lecture 3 (pdf)
• Lecture 4 (pdf)
• Lecture 5 (pdf)
• Lecture 6 (pdf)
• Lecture 7 (pdf)
• Lecture 8 (pdf)
• Lecture 9 (pdf)
• Lecture 10 (pdf)
• Lecture 11 (pdf)
• Lecture 12 (pdf)
• Lecture 13 (pdf)
• Lecture 14 (pdf)
• Lecture 15 (pdf)
• Lecture 16 (pdf) (updated with corrections)
• Lecture 17 (ppt) (PULC project)
• Lecture 18 (ppt)
• Lecture 19 (review) (pdf)

Problem Sets

Please check the problem set FAQ and the general FAQ regularly and before submitting.

You must submit your solutions here: https://persistent.stanford.edu/start?.

• Problem Set 1 (FAQ, Solution)
• Problem Set 2 (FAQ, Solution)
• Problem Set 3 (FAQ, Solution) [Two weeks deadline, and NO LATE DAYS!]
• Problem Set 4 (FAQ, Solution) [Two weeks deadline, and NO LATE DAYS!]
• Final (Solution)
• Grade results

Other Sources

• For a general overview of Logic, check out the page in Wikipedia.

Fun Stuff

• Check out Logica (copy2, copy3, copy4) a simple proof generation system for propositional and relational logic.
• Otter is a very powerful theorem prover that you can use (hint, hint!) to solve problems. At one time it was available online, but now it looks like it must be downloaded. Here is its home page.

Feedback

• To send the cs157 staff anonymous feedback click here.