Readings on dynamic logic have been posted in the Class Notes section.
November 18, 2008:
Problem Set #3 has now been posted in the Syllabus. It is due on December 2. Jess will be out of town and most likely out of e-mail contact from November 20 to November 30. If you need assistance with the problem set, please contact Professor Pustejovsky.
Also, check the Syllabus for an additional reading on representing holes.
November 7, 2008:
The next reading on the 9-intersection model for spatial logic is now posted on latte.
November 5, 2008:
Please check out the latte page for the first readings for the spatial logic part of the course.
October 28, 2008:
The graded assignments for PS2 are now available in the CS office. Please pick them up when you get a chance. I have not received assignments from a few people. Make sure you hand in your assignment ASAP!
Also, please let me know if you plan to attend any of my office hours this week in preparation for the quiz. If those times don't work for you, you can always e-mail to make an appointment.
Good luck with your quiz preparation!
October 24, 2008:
The first set of slides from Friday’s class has been posted on the Class Notes page.
October 17, 2008:
There are 3 readings for temporal logic posted on the latte site. The slides used today in class can also be found on the Class Notes page.
October 8, 2008:
There are now several readings you should look at for modal logic. Two of them are posted on the latte site. Please let us know if you have any trouble getting them. Remember that you need to log into latte using your unet ID, not your CS one. You will also find this link helpful:
http://plato.stanford.edu/entries/logic-modal/
Finally, notes have been posted to help with the technique of using trees for model checking. You can find these on the Class Notes page.
The next problem set has also been posted in the syllabus.
September 22, 2008:
Notes from Friday’s class have now been posted. Don’t forget that the first problem set is due in class tomorrow!
September 15, 2008:
Some readings on First Order Logic have now been posted. The lecture notes used in class last week are posted on the Class Notes page and some additional slides have been posted in the syllabus.
September 5, 2008:
Problem set 1 is now posted on the syllabus. Some propositional logic equivalences have also been posted, but please note that these are only for use in the FOL section of the homework. Additional information on FOL will be posted next week.
September 4, 2008:
Please check the new Class Notes page for the following notes on propositional logic.
- Propositional Logic Slides
- Natural Deduction Slides
- Natural Deduction Tips
A word on the latte site: Everyone who is registered for this class should now be able to at least see the latte site, but please note that we have not yet posted any readings there. We will later in the semester, but we will make a posting on the regular website to tell you when to check there.