Linguistics 726: Mathematical Linguistics

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

 
 

Homework 1. from Lecture 1 (Basic Concepts of Set Theory)    
 
Homework 2. from Lecture 2 (Relations and Functions)    
 
Homework 3. from Lecture 3 (Properties of Relations)    
 
Homework 4. from Lecture 4 (Algebra, Section 1)    
 
Homework 4.2. from Lecture 4.2 (Algebra cont'd, Section 2)    
 
Homework 5. from Lecture 5 (Logic, Section 1 - Statement Logic)    
 
Homework 6. from Lecture 6 (Logic, Section 2 - Predicate Logic)    
 
Homework 7. from Lecture 7 (Logic, Section 3 / Algebra, Section 3)  
 
Homework 8. from Lecture 8 (Algebra, Section 4)    
 
Homework 9. from Lecture 9 (Logic and Algebra - Lindenbaum Algebra)    
 
Homework 10. from Lecture 10 (Model Theory)    
 
Homework 11. from Lecture 11 (Proof by Induction)    
 
Homework 12. from Lecture 12 (More Algebra)    
 
  Instructors' Index   (.pdf)
 
  Student Solution 1: Problem in text plus questions 2, 3, 5, and 6   (.pdf)
  Student Solution 2: Proof of theorem in text plus questions 2 and 4   (.pdf)
  Student Solution 3: Proof of theorem in text   (.pdf)
 
Homework 13. from Lecture 13 (Formal Phonology - Features and their structure)    
 
Homework 14. from Lecture 14 (Infinities)  
 
Homework 15. from Lecture 15 (Automata and Grammars, Section 1)