HW9 (due 11/24 @ beg. of class)
Your ninth homework assignment is now available for download (just click on the link below for a PDF version). Â It will be due on Tuesday, November 24, at the beginning of class. HW9 (due 11/24 @ beg. of class)
Your ninth homework assignment is now available for download (just click on the link below for a PDF version). Â It will be due on Tuesday, November 24, at the beginning of class. HW9 (due 11/24 @ beg. of class)
The HW7 answer key is now available. Â Just as before, I’ve put the key in the password-protected “Readings” section of our website. HW7 Distribution (65 points total; 32 assignments submitted) 60-65…..23 55-59…..7 50-54…..2 Lots of high scores!
For this Thursday’s class, please read sections 4.3-4.4 (pgs. 73-81) of the Kearns textbook, as well as sections 5.2-5.3 (pgs. 94-99). (Note: Â the syllabus also lists section 4.5 as required reading for Thursday, but I’ve made it optional. Â If you have a chance, you should have a look–the topic is interesting, but I’m afraid that …
Continue reading ‘Reading for Th 11/19: Kearns 4.3-4.4 (73-81) ; Kearns 5.2-5.3 (94-99)’ »
F0r next Tuesday’s class, please read sections 4.1-4.2 (pgs. 67-72) of the Kearns textbook, as well as section 5.1 (pg. 93-94). Â On Tuesday, we’ll see how First-Order Predicate Logic can be extended to translate sentences like “Two professors are vain” and “The professor is vain”. Â We’ll also discuss the problem posed by sentences like “Most …
Continue reading ‘Reading for Tu 11/17: Kearns 4.1-4.2 (67-72) ; Kearns 5.1 (93-94)’ »
Your eighth homework assignment is now available for download (just click on the link below for a PDF version). Â It will be due on Thursday, November 19, at the beginning of class. HW8 (due 11/19 @ beg. of class)
I’ve put together a handout summarizing the language of (First-Order) Predicate Logic, which we’ve been developing over the past week. On Tuesday, we’ll finish up with the semantics of quantified formulas, which is also included in the handout. There’s also quite a bit of discussion about calculating the truth values and truth conditions for formulas …
Continue reading ‘Handout on (First-Order) Predicate Logic’ »
The answer key for the midterm exam is now available. Just as before, I’ve put the answer key in the password-protected “Readings” section of our website. (Remember that the password is listed on the syllabus.) Here are the numbers that I provided in class today concerning the overall class performance, and a rough grading scale: …
Your seventh homework assignment is now available for download (just click on the link below for a PDF version). Â It will be due on Thursday, November 12, at the beginning of class. HW7 (due 11/12 @ beg. of class)
I’ve made a few changes to our class schedule for November and December. Those of you who were in class today (Tuesday) received a printed version of the revised schedule. The “Schedule” section on this website has also been updated to reflect the changes. (There are also a few printed copies of the new schedule …
Continue reading ‘Changes to Class Schedule for November/December’ »
For this Thursday’s class, please read the excerpt from Emmon Bach’s Informal Lectures on Formal Semantics. The Bach excerpt provides a concise and clear summary of predicate logic. Much of the material will be recognizable to you after today’s (Tuesday’s) lecture. On Thursday, we will begin discussing variables and quantification, which comes up later in …