Reading for Tu 4/17: Kearns §6.1-6.2 (pgs. 94-99)
For next Tuesday 4/17, please read sections 6.1 and 6.2 (pgs. 94-99) of the Kearns textbook.
Archive of entries posted on April 2012
First-Order Predicate Logic (FOPL) handout
Here is the handout on First-Order Predicate Logic (FOPL) that was distributed in today’s class: The Language of First-Order Predicate Logic (FOPL)
HW7 (due Tu 4/17 @ beg. of class)
Your seventh homework assignment is now available for download–just click on the link below for a PDF version. It will be due on Tuesday, April 17, at the beginning of class. HW7 (due Tu 4/17 @ beg. of class)
Midterm #2 answer key is now available
The answer key to your second midterm exam has now been posted to the “Readings” page.
Reading for Th 4/6 & Tu 4/10: Kearns, Chap. 3
For Thursday 4/6 and Tuesday 4/10, please read Chapter 3 of the Kearns textbook, which deals with the semantics of quantified arguments.