Linguistics 726: Mathematical LinguisticsBarbara Partee and Vladimir Borschev
|
Ling726 2006 home | description | homework | book errata | links | LING 726 2004 Website |
Homework 8 to Lecture 8: due Oct 17, 2006 (this was HW 7 in 2004, HW 6 in 2001)
Predicate logic, and axiomatizing trees. A lot of exercises to choose among. Posted: Instructors' index and a lot of student solutions.
Instructors' Index (.pdf)
Student Solution 1: Exercise 1 (.pdf)
Student Solution 2: Exercises 1-6 (.pdf)
Student Solution 3: Exercise 2 (.pdf)
Student Solution 4: Exercise 2 (.pdf)
Student Solution 5: Exercise 4 (.pdf)
Solutions from 2004:
Student Solution 6: Excercise 5 & 6 (pdf)
Student Solution 7: Excercise 6 (pdf)