Announcements

• Dec. 3: -NO LATE DAYS are allowed for the contest!
  -For the contest, even though some of the categories have some axioms listed, you may still have to add some more axioms.
  -An FAQ and Changes page has been put up for Problem Set #4.
  -A few clarifications from the review session today:
  1. There was a bit of confusion in the explanation of Restriction Strategies. Check the lecture #12 slides for clarification.
  2. For semi-ordered resolution, you may do reduction on any one literal in the first chain, but the second chain has to have reduction done on the first literal in the chain.
  3. Set of Support resolution is complete for most cases, but not for when the goal is the empty set.
  4. For Epilog, you do not negate the goal statement, but just add a "?" to the end of it (this is, in effect, a negation).
  -The slides from the review session have been posted.
  


• Nov. 26: -Problem Set #4 has been posted. It is available as a Word file, a pdf, and in html. The problem set is due on Tuesday, December 3. However, since Thanksgiving is right in the middle of the week, we're giving a free 2-day extension to everybody. Thus, it is due on Thursday, December 5. However, since there is an automatic 2-day extension, you are not allowed to use anymore late days beyond that. In other words, Problem Set #4 will not be accepted after 11:59pm on December 5. There may be a problem #10 added to the problem set. We'll let you know soon if there is.
  -Sutin and Walter won't be holding office hours this week due to Thanksgiving.
  -Please start sending the TA's topics that you would like us to go over in the review session next Tuesday.
  -Problem Set #3 solutions will be posted early next week. The second half of the PS will also be returned to you then.
  


• Nov. 22: -The contest solutions are due at noon on Wednesday, December 4. They should be e-mailed to cs157-staff@lists.stanford.edu.
  -A clarification on unification has been added to the PS #3 FAQ.
  


• Nov. 21: -The contest categories have been posted. Due dates will be listed in the near future as well.
  -A few new versions of Logica have been listed under the Logica heading to minimize the chances of there being no version of Logica available.
  


• Nov. 17: -Please remember to regularly check the FAQ and Changes page for Problem Set #3.
  -Logica appears to be down, but will hopefully be back up by Monday.
  


• Nov. 15: -A new version of Problem Set #3 has been posted. I accidentally posted an old version of it last night. Please download the new version if you downloaded the old one.
  


• Nov. 14: -Problem Set #3 has been posted. It is available as a Word file, a pdf, or in html. It is due on Thursday, November 21.
  -Solutions for Problem Set #2 have been posted. They are available as a Word file, a pdf, or in html.
  


• Nov. 13: -Walter's office hours tonight have been canceled. Apologies to those who were planning to come by. Please feel free to e-mail Walter any questions that you might have had or ask the TA's after class tomorrow.
  


• Nov. 11: -Walter will be doing Sutin's Wednesday office hours this week and Sutin will be doing Walter's Thursday office hours this week.
  


• Nov. 10: -Problem Set #2 has been returned to everybody. If you haven't gotten yours back, please e-mail cs157-staff with an inquiry.
  -For Problem Set #2, here are the stats: Mean 91.26, Median: 93, Standard Deviation: 6.75.
  


• Nov. 8: -Problem Set #3's release has been delayed a few days. We'll send out notification when it's released. As usual, you will still have a week to do the problem set.
  -If you wish to participate in the contest and still have not submitted your team information, please do so ASAP!
  


• Nov. 5: -If you're looking for partners for the contest, we suggest using the su.class.cs157 newsgroup.
  


• Oct. 31: -PS2 is now due at 11:59pm on Friday (11/1). (The deadline has been postponed one day.)
  -It's time to start forming teams for the logic contest. If you would like to participate in the contest, (A cool prize and extra credit are the rewards!) find 1 or 2 teammates (each team must have 2 or preferrably 3 people on it) and e-mail your names, plus a team name, to the cs157-staff@lists list by Thursday, Nov. 7.
  -Sutin will be holding extra office hours tomorrow (Friday) at 12:30 at Bytes Cafe.
  -If you have not been receiving e-mails through the cs157-students@lists list, please notify us immediately.
  


• Oct. 30: -More has been added to the FAQ and Changes page. Please check it.
  -Walter's office hours on Thursday (10/31) will be at 5-7pm, instead of at 2:30pm-4:30pm.
  


• Oct. 28: -Solutions to PS #1 have been posted. They are available in doc, pdf, and html.
  -Statistics for PS1: Mean: 92.48, Median: 93, Standard Deviation: 5.53.



• Oct. 26: -A few changes have been made to Problem Set #2. Please check the FAQ and Changes page for PS #2 to see them.



• Oct. 24: -Problem Set #2 has been posted. The problem set is available as a Word file, as a PDF, and as an html page and is due next Thursday (10/31), at 11:59pm.
  -Sutin will have office hours today from 10-noon at Bytes cafe. Walter's office hours have been moved from today to noon-2pm tomorrow.



• Oct. 16: -The instructions for problem #4 have been changed from "Using only modus ponens and standard axiom schemata, give a formal proof that the circuit exhibits the behavior:" to "Prove that the circuit exhibits the behavior (e.g. use axiom schemata with modus ponens, resolution, truth tables, etc.):"
  -For anybody interested in getting more information about propositional logic, please check out the following links: Propositional Proofs, Proof Tactics, and Propositional Resolution.



• Oct. 15: -A couple more changes have been to the problem set to clarify Problem #2. The changes have been listed in the FAQ and changes page. Please check that page regularly for updates.



• Oct. 14: -An FAQ and changes page has been posted for Problem Set #1. Please check there before e-mailing the TA's with questions.
  -A slight change has been made to the wording of 2d. in the problem set. The sentence now reads “I did not do it, and if Walter did not do it, then Mike did it if and only if she promised to give him ice cream with hot fudge.” The problem set files have been updated to reflect this change.
  -Instructions for submitting homeworks have now been posted. To submit an assignment go to http://www.stanford.edu/class/cs157/submission/submission.fft.



• Oct. 10: -Problem Set #1 and the solutions to the Background Test have been posted. The problem set is available as a Word file and as a PDF and is due next Thursday (10/17), at 11:59pm. Electronic submission instructions will be posted over the weekend.
  -Responses have been sent to everybody from whom we received a Background Test submission. If you sent in a submission, but did not receive a response, please e-mail us ASAP. If you have not yet submitted the Background Test, please do so ASAP.
  -An alternate final exam will be available, but only for those who have an exam at the exact same time as the final for this class (Thursday, 12/12, at 3:30pm) or for some rare extenuating circumstances. If you need to take the alternate exam, you must e-mail us by 10/25 so that we may review your situation.
  -A link to http://www.stanford.edu/~tjruwase/projects/cs157/ has been added to this page. This link goes to an online version of CS157 that's in development. If you have some spare time, check it out and send any comments that you might have to the the guy in charge of it.



• Oct. 10: -Problem Set #1 and the solutions to the Background Test will be posted this afternoon.



• Oct. 8: -Walter's office hours today will be at 6pm-8pm in B26B instead of at 2:30pm.
  -Don't forget to turn the background test in by tonight at 11:59pm!
  


• Oct. 3: -The cs157-staff@lists e-mail address now works, so any questions that you have for the staff can be directed there. Also the cs157-students@lists list is functional as well so we'll be sending e-mails to that every once in a while as well.
  -Office hours will be in full effect starting next week (none today).
  -The final will be on Thursday (12/12) of finals week at 3:30pm. (Local SITN students are required to come to campus. If you live too far away to come, please e-mail us as the time of the final approaches so we know.)
  -We currently have a visually impaired student taking CS157 this quarter, and it would be of great help if someone could assist him in reading the occasional lecture notes or problem set. The position pays $10/hour through Stanford's Disability Resource Center (DRC), and it requires at most one or two hours a week. Anyone interested should contact Mike Ching directly at ching@stanford.edu or 497-7800.



• Oct. 2: -Office hours have now been posted.
  -Submission instructions for the Background Test have been posted. To submit your solutions, e-mail them to cs157homework@yahoo.com by 11:59pm on Tuesday, October 8. Note that a different submission system will be used for the remaining problem sets, so note the new instructions that come with Problem Set #1.



• Sep. 26: -The first day of class will be Tuesday, Oct. 1.