Old Announcements

 

05/11/03 The solution and the grades for Homework 5 have been reposted.
See post on the bulletin board for an explanation.
05/09/03 The grades for Homework 5 have been posted.
05/09/03 The solutions for Homework 5 have been posted.
05/07/03 The grades for Homework 4 have been posted.
05/05/03 The solutions for Homework 4 have been posted.
04/15/03 Homework 5 is out. You can download from the Assignments section of the WebCT page.
It is due on Tue, May 6 at 6:00pm.
04/28/03 The class notes, readings, and exercises for tomorrow have been posted.
04/24/03 The exercises for today have been posted.
04/21/03 The class notes and readings for tomorrow have been posted.
04/16/03 The grades for Homework 3 have been posted.
04/15/03 Homework 4 is out. You can download from the Assignments section of the WebCT page.
It is due on Tue, Apr 22 at 11:00pm.
04/14/03 The class notes and readings for tomorrow have been posted.
04/11/03 The solutions for Homework 3 have been posted.
04/07/03 The class notes and exercises for tomorrow have been posted.
04/02/03 There will be no class tomorrow.
Please check the bulletin board for more details.
03/31/03 The class notes and exercises for tomorrow have been posted.
03/27/03 Homework 3 is out. You can download from the Assignments section of the WebCT page.
It is due on Tue, Apr 8 at 6:00pm.
03/25/03 The solutions for the midterm have been posted on the bulletin board.
03/24/03 The grades for Homework 2 and the midterm have been posted.
03/24/03 The class notes and exercises for tomorrow have been posted.
03/10/03 The solutions for Homework 2 have been posted in the assignment section of the WebCT pages.
Look for Sol2.
03/05/03 The class notes for tomorrow have been posted.
03/03/03 The exercises for tomorrow have been posted.
03/03/03 The class notes and the readings for tomorrow have been posted.
03/03/03 The grades for Homework 1 have been posted in the WebCT section.
The Hw1 column contains your absolute score. The Hw1n column contains the normalization of that score to [1-100].
02/26/03 The exercises for this week have been posted.
02/25/03 Homework 2 is out. You can download from the Assignments section of the WebCT page.
It is due on Fri, Mar 7 at 6:00pm.
02/25/03 The solutions for Homework 1 have been posted in the assignment section of the WebCT pages.
Click on HW1 to see and download the solution files 01-intro-to-alloy-model.all and 01-intro-to-alloy-responses.txt.
02/24/03 The readings for tomorrow have been posted.
02/20/03 The class notes for this week have been posted.
02/17/03 The exercises for tomorrow have been posted.
02/10/03 The class notes and exercises for tomorrow have been posted.
02/06/03 The class notes and exercises for today's class have been posted.
02/05/03 Homework 1 is out. You can download from the Assignments section of the WebCT page.
It is due on Wed, Feb 19 at 6:00pm.
02/03/03 Class notes and exercises for tomorrow's class have been posted.
01/29/03 The class notes and assignments for tomorrow's class have been posted.
Also, the Tools has been updated to reflect the change in the version of Alloy available in our labs.
01/27/03 The class notes for tomorrow's class have been posted.
Also, check the Schedule section for exercises and new readings.
01/22/03 The class notes for tomorrow's class have been posted.
01/21/03 The TA office hours have been updated.
01/21/03 The class notes for today's class have been posted in the Class Notes section.
01/21/03 Welcome to the 22c:181 web site!
Please check this section at least every other day, for updates to the other sections of the site.

Last Updated: May 19, 2003