Dr. Jane Arledge            Fall 2009

M325K Assignments

1.1:   1,2,6,7,8,12,13,15,17,29-32,38,41-44,46,51
         Read the section; work through all examples; work through Theorem 1.1.1 in box on p. 14
1.2:   1-4,7,8,11,12,15-18,20,22,23,28,35,43-49; read section; work all examples
1.3:   1-6 ,8,9,12,13,20,22,23,25,26,29,30,33,34
2.1:   1,2,4,9-14,16,18,19,23,24,26,28,31
2.2:   2-4,8-12,15,19,21,24,25,28,30,32,38,41,44-46
2.3:    1,2,4,9,11,12a,b,e,13,15,22,28,30-36,29,40a,b,c,f,g,42,43; read section, but skip Tarski stuff & prolog
2.4:    2-19,31,32; read (except Tarski)
3.1:    1-4,6,7,9,12-17,19-24,26,28,30,31,34-39,42,46,48,53,54,56,60; read, work examples (too long!)
3.2:    1-8,11-15,20,21,24,26,27,32-36; read and work all examples
3.3:    2,5,9,14-18,20,22-26,32,33,35,37,43; read and work examples
3.4:    2,5,8,9,17,18,21,24,26,28-30,32,33,36,37,40; read and work examples
3.6:    1,3,4,9,16,18,19,20,22,24,26,28; read and work examples
3.7:    learn both theorems
4.1:    2,7,13,18e,21,25,33-35,37,39,43,46,47,51,52,57,60
4.2:    4,5,7,11,12,14,16,20,25,28
4.3:    1,2,4,5,7,12,16,28
4.4:    3,5,13,16,17,20
5.1:    1,2,4b,c,e,f,6,8-10,13,14,16,17,19,21,23,24,25,30
5.2:    1-4,9,13,14,16-20,22,23,27,29
5.3:    6,8,10,18,19,21,24,25,38,48
5.4:    2-6,10,11
7.1:    1,3,4,11,12,13,23,31,32
7.2:    3,4,5,7,13,14,18,19,33,34,35,50
7.3:    2,3,11,16,20,21,24
10.1   1,2,3,5,7,8,10,22
10.2   2b,c,d,8b,c,d,12,13,16