Announcements

• April 23:
  • Feel free to post questions to the newsgroup su.class.cs157. The TAs will try to answer questions there regularly. Of course, sending us e-mail is fine as well if need be. General instructions for connecting to newsgroups can be found at http://www.stanford.edu/services/usenet/.
  • It would be preferred if you entered your answers for homework 2 in KIF instead of infix notation where possible. A description of the language can be found at http://arrogant.stanford.edu:500/language? or on one of the normal Logica pages. We will accept infix notation if you must, but KIF is preferred for doing automatic logical equivalence checking.
  • A TA has been added for the class: Danny Tarlow. He is also reachable at the e-mail address cs157-ta@cs.stanford.edu.
  • Homeworks are being graded incrementally. We will send out an e-mail when they are finished.
• April 14:
  • Logica went down for a few hours tonight and has been restarted on ports 9000, 9001, 9002, 9003, 9004, and 9005.  The homework deadline has been extended by 3 hours to 2:59am.
• April 12:
  • In an attempt to make the course go smoother, we are going to try to integrate some work done over the summer to get more cs157 materials online. In particular, there is a site that you may access here through which you should submit your homework solutions. Submit there instead of e-mailing! Instructions on how to do this are at the top of the problem set, still linked below as well.
    
    The site is set up to work with webauth, and may take a few moments to load. Feel free to explore the site, though no guarantee that the materials (besides the problem set) are up to date or working. Let Ben know if there are any major issues.
• April 3:
  • An addition to the collaboration policy: keep study groups to a maximum of 3 people.
• April 1:
  • Office hours are now posted on the people page.
• March 21:
  • Class webpage is up!  The first class will meet Tuesday, March 29th.