HW8 (due 4/20 @ beg. of class)
Your eighth homework assignment is now available for download–just click on the link below for a PDF version. Â It will be due on Wednesday, April 20, at the beginning of class. HW8 (due 4/20 @ beg. of class)
Archive of entries posted on April 2011
Reading for F 4/15 & W 4/20: Kearns §4.3-§4.5 (73-85)
For Friday 4/15 and next Wednesday 4/20, please read section 4.3-4.5 (pgs. 73-85) of the Kearns textbook.
Reading for W 4/13: Kearns §4.1-§4.2 (67-72)
For Wednesday 4/13, please read section 4.1 and 4.2 (pgs. 67-72) of the Kearns textbook.
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
HW7 (due 4/11 @ 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 Monday, April 11, at the beginning of class. HW7 (due 4/11 @ beg. of class)
Reading for W 4/6 & F 4/8: Kearns §2.4 (41-47)
For Wednesday 4/6 and Friday 4/8 please read section 2.4 (pgs. 41-47) of the Kearns textbook.