Linguistics 726: Mathematical Linguistics

Barbara Partee and Vladimir Borschev
Fall 2006, University of Massachusetts, Amherst

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)