|
Assignments Page
Problem Set 1 - Revised 6/27/03 - (doc,
pdf, ps)
- due Monday, July 7 by
midnight.
Solutions to problem set 1 (pdf, ps)
Problem Set 2 - (doc,
pdf, ps)
- due Monday, July 14 by
midnight.
Solutions to problem set 2 (pdf, ps)
Problem Set 3 - (doc,
pdf, ps)
- due Monday, July 21 by
midnight.
CORRECTED (8/14/03): Solutions to problem set 3 (pdf, ps)
Problem Set 4 - (doc,
pdf, ps)
- due Thursday, July 31 by
midnight. Click here to download SMV (only available in Windows format. See the SMV webpage for directions on compiling SMV for other platforms). Here's a copy of the SMV paper in pdf format.
Solutions to problem set 4 (pdf,
ps)
Problem Set 5 - (doc,
pdf, ps)
- due Thursday, August 7 by
midnight.
Solutions to problem set 5 (pdf,
ps)
Problem Set 6 - (doc,
pdf, ps)
- due Thursday, August 14 by
midnight. First, to install SPIN, read these installation instructions. Further information on SPIN can be found at the SPIN website.
|
