Appointments: W 1.202.20 and by appt.
Partee, Barbara H., Alice ter Meulen, and Robert E. Wall. Mathematical Methods in Linguistics. Corrected first edition. Kluwer Academic Publishers. Where to buy: Ask instructor. There are some typographical errors in the book: see errata here.
Although the course is largely designed around the textbook, there is also this website, http://people.umass.edu/partee/409/. As we go along, I will post handouts with a summary of the lectures, supplemental homework answers, commented answers to the quizzes, an errata sheet for the textbook and links to other sites related to the content of the course. You are encouraged to check back here often.
Week 
Date 
Title 
Reading 
Homeworks 
Supplemental Homework Answers  
Unit I: 

Set Theory



1 
W9/7 
pp.317 
H1: pp.235: 1;2;3be; 4;5;6dn;7bf,kn; 
Homework 1  

F9/9 
pp.1723 
H2: pp.256: 9b;10;11ad;12 
Homework 2  
2 
M9/12 
Chapter 2 
H3: pp.3637: 1;2;3a 
Homework 3  

W9/14 
pp.3945 
H4: pp.5152: 1;2;3a (ignore the part about equivalence classes!) 
Homework 4  

F9/16 
Properties of Relations II 

no new homework 

3 
M9/19 
pp.4554 
H5: pp.513: 4;5 
Homework 5  

W9/21 
pp.5562 
H6: pp.7173: 2;3;4 
Homework 6  

F9/23 
pp.6273 
H7:pp.713: 5;6. 
Homework 7  
4 
M9/26 
Debates about the infinity of natural language 
Review Exercises: pp.834: 14;5ae 


W9/28 
Infinity of natural language + Review for Quiz I 
In class practice 


F9/30 
Review for Quiz I 



5 
M10/3 
Quiz 1: Set Theory, Relations, Infinities 



Unit II: 
Logic & Formal Systems
 

W10/5 
ch.5 



F10/7 
Disc. Quiz 1 
pp.97104 
H9: 1289: 13 

6 
M10/10 
Columbus Day 




W10/12 (“Mon”) 
pp.104121 
H10: 129134: 4ac; 5ac; 6ad;7;8ac 
Homework 9&10  

F10/14 

H11: 9ad;10 (any 3);11;13ai;13bi. 
Homework 11  
7 
M10/17 
pp.135145 
H12: pp.1735:1a,c,dj,rt,v;2ag;3 
Homework 12  

W10/19 
pp. 146152 
Hwk 13: 175ff: 4ac;5 


F10/21 

pp. 152163 
H14 revised: p.244, 5ek Revised syllabus 
Homework 14  
8 
M10/24 

ch.8.1; 8.4 
H15: pp.232233:3,4,5,(6) 
Homework 15  

W10/26 
8.5.18.5.5 (skip wellord.); 8.5.7 (skip p.210) 
H16: p.235: 12;13 
 

F10/28 

H17: Review Ex. p.244: 5ad;6 
Homework 17 
 
9 
M10/31 

H18: 2434:1;2acdfgij;3;4 
 

W11/2 


 

F11/4 
Review for Quiz II 

 
10 
M11/7 
Quiz 2: Logic and Formal Systems 


 





 
Unit III: 
Algebra, 
Automata, 
Grammars 

 

W11/9 
ch.9 
H19: p.253: 1,2 
Homework 19 
 
11 
M11/14 (“Fri”) 
10.1 
H20: p.271: 1;2af 
Homework 20 
 

W11/16 
10.2 
H21: p.272: 3af 
paper copies only of answers to homework 21; handed out 
 

F11/18 
Boolean Algebra 
Partee 1978, ch.III.D 
( From Partee 1978, ch.III.D) H22: 24, Rev.Ex.7 in handout from Partee 1978 
paper copies only of handout, homework 22, and answers to homework. 

12 
M11/21 
Review 
16.1;16.2 
H23: pp.309310:25,8a,b;12,13 
Homework 23 


W11/23 
16.3;16.4 
H24: Here. For easier version of question 3, use this additional file. 
Homework 24 
 

F11/25 
Thanksgiving Recess 


 
13 
M11/28 
17.1 
H25: 480482: 1;2;3ad;4ac 
Homework 25 
 

W11/30 
17.2 (skip 17.2.1) 
H26: 482483: 7ac;9ac;10ab 
(answers in book) 
 

F12/2 
17.3 
H27: 482483:10cd; 11ac 
Homework 27 
 
14 
M12/5 
Review Unit III 

H28: p.571, Rev. ex.2,3 
Homework 28 


W12/7 
Review Quiz 3 

 

F12/9 
Quiz 3: Algebra, Automata, Grammars. 


 
15 
M12/12 
ContextFree Grammars 
18.1, 18.2, 18.6 
No HW; attendance obligatory 
 

W12/14 
Grammars, Recursion, and Evolution: Recent claims. 

No HW; attendance obligatory 

HAPPY HOLIDAYS!