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)
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)
For Friday 4/15 and next Wednesday 4/20, please read section 4.3-4.5 (pgs. 73-85) of the Kearns textbook.
For Wednesday 4/13, please read section 4.1 and 4.2 (pgs. 67-72) of the Kearns textbook.
Here is the handout on First-Order Predicate Logic (FOPL) that was distributed in today’s class: The Language of First-Order Predicate Logic
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)
For Wednesday 4/6 and Friday 4/8 please read section 2.4 (pgs. 41-47) of the Kearns textbook.