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 16 (.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)