| 12/17/02 | The grades for Homework 6 have been posted. |
| 12/17/02 | The solutions of Homework 6 have been reposted (check the BB to see why). |
| 12/13/02 | The Homework section now contains a few more exercises you can do in addition to the assigned homeworks and in preparation for the final. |
| 12/12/02 | The Readings section now contains an example of a partial correctness proof for a while program. |
| 12/11/02 | The Exams section now contains scheduling info (for non-Rockwell students) and a study guide for the final. |
| 12/05/02 | Homework 6 is out. It is a written assignment and is due on Fri, Dec 13, by 4:30pm. | 12/02/02 | The grades for Homework 5 have been posted. | 11/20/02 | Selected solutions for the midterm have been posted in the Exams section. | 11/19/02 | Homework 5 is out. It is a programming assignment due on Tue, Nov 26, by 11:30. |
| 11/15/02 | The new midterm grades for the Rockwell students have been posted. |
| 11/14/02 | The new midterm grades for the non-Rockwell students have been posted. |
| 11/11/02 | The grades for the midterm have been posted, together with your current course grade. The current weight distribution is 35% for the homeworks and 65% for the midterm. Please note that the midterm grades are not final. They will be adjusted as it will be explained tomorrow in class. |
| 10/28/02 | The solutions for Homework 4 have been reposted because ther was an error on page 1. Please download page 1 again if you downloaded the solutions before 8pm. |
| 10/28/02 | The grades for Homework 4 have been posted. |
| 10/28/02 | The solutions for Homework 4 have been posted. |
| 10/28/02 | The Homework section now contains more exercises you can do in addition to the assigned homeworks and in preparation for the midterm. | 10/24/02 | The list of required readings for the midterm in the Exams section has been updated. |
| 10/22/02 | The grades for Homework 3 have been posted. |
| 10/21/02 | The solutions for Homework 3 have been posted. |
| 10/20/02 | The list of required readings for the midterm in the Exams section has been updated. |
| 10/17/02 | Homework 4 is out. It is a written assignment and is due on Thu, Oct 24, in class. |
| 10/10/02 | The Homework section now contains a number of exercises you can do in addition to the assigned homeworks and in preparation for the midterm. More exercises will be added as we go. |
| 10/10/02 | The Exams section now contains scheduling info and a study guide for the upcoming midterm. |
| 10/08/02 | Homework 3 is out. It is a written assignment and is due on Thu, Oct 17, in class. |
| 10/03/02 | The solutions for Homework 2 have been posted. |
| 10/02/02 | The grades for Homework 2 have been posted. |
| 09/18/02 | The Homework section now contains some test cases you can use to test your solutions for Hw2. |
| 09/12/02 | The grades for Homework 1 have been posted. The Hw1 column contains your absolute score. The Hw1n column contains the normalization of that score to [1-100]. |
| 09/10/02 | Homework 2 is out. It is a programming assignment due on Fri, Sep 20, by 5pm. |
| 09/10/02 | The solutions for Homework 1 have been posted in the Homework Section. |
| 09/10/02 | The Readings Section now contains two updated files with the SML examples seen in class today. |
| 09/09/02 | The Readings Section now contains references to additional textbooks on programming languages foundations that you can consult to complement/integrate the class textbook. Almost all the references are available in the Math or the Engineering library. |
| 08/29/02 | Homework 1 is out (see the Homework Section of this site). It is a written assignment and is due on Thu, Sep 5, in class. |
| 08/26/02 |
Welcome to the 22C:145 web site! Please check this section daily for updates to the other sections of the site. |