What's New
| 12/15/05 |
Instructions for submitting project team evaluations are now available in the Assignments section of WebCT.
Team evaluations, project reports and project code are to be submitted via WebCT by Sat, Dec 17, by 9am.
Everybody must submit his/her own confidential team evaluation. Only team coordinators should submit the project report and code. |
| 12/14/05 | The grades for Homework 7 have been posted. The graded homeworks, including never picked up homeworks and midterms, are available with Naomi in 14 MLH. |
| 12/11/05 | A sample solution for Homework 7 is now available on WebCT. |
| 12/08/05 |
The extra question/answering session in preparation for the final is
scheduled for Wed, Dec 14 at 1pm in B11 MLH.
The session will end at 3pm or before if there are no more questions. |
| 12/08/05 | The grades for Homework 6 have been posted. |
| 12/08/05 | A sample solution for Homework 6 is now available on WebCT. |
| 12/05/05 | A reading guide for the final is now available in the Exams section. |
| 12/05/05 | The class notes for this and last week are available. |
| 12/02/05 | Homework 7 is now available through the WebCT section of this site. It is an optional written assignment due on Frid, Dec 9, by 5pm. |
| 12/01/05 | Important Notice: The extra credit question in Homework 6 is ill-posed. Please just ignore that question. Our apologies for the trouble. |
| 11/29/05 | A sample solution for Homework 5 is now available on WebCT. |
| 11/28/05 | The grades for Homework 5 have been posted. |
| 11/19/05 | Homework 6 is now available through the WebCT section of this site. It is a written assignment due on Frid, Dec 2, by 11pm. |
| 11/18/05 | A sample solution for Homework 4 is now available on WebCT. |
| 11/17/05 | The second set of class notes for this week is now available. |
| 11/16/05 | The grades for Homework 4 have been posted. |
| 11/16/05 | The first set of class notes for this week is now available. |
| 11/14/05 | Homework 5 is now available through the WebCT section of this site. It is a small written assignment due this week on Frid, Nov 18, by 11pm. |
| 11/04/05 | Team Projects have been assigned. Have fun! |
| 11/01/05 | Homework 4 is now available through the WebCT section of this site. It is a written assignment due on Wed, Nov 9, by 11pm. |
| 11/01/05 | The Projects section has been updated with term project descriptions and team assignments. Project preferences are due on Frid, Nov 4. |
| 11/01/05 | The class notes for today are available. |
| 10/25/05 | The grades for the midterm have been posted. A solution key will posted soon on the discussion group. |
| 10/25/05 | The class notes for today are now available. |
| 10/19/05 | The reading guide for the midterm in the Exams section has been updated. (It erroneously included Chapter 6 of the textbook.) |
| 10/18/05 | The grades for Homework 3 have been posted. |
| 10/18/05 | A sample solution for Homework 3 is now available on WebCT in the assignment section. |
| 10/18/05 | The class notes on propositional satisfiability have been updated. |
| 10/13/05 | As announced last week in class, the midterm is on Thu, Oct 20. See the Exams section for more information on the exam. |
| 10/13/05 | A sample solution for Homework 2 is now available on WebCT in the assignment section. |
| 10/13/05 | The class notes for this week have been posted. |
| 10/07/05 | Homework 3 is now available through the WebCT section of this site. It is a written and a programming assignment due on Fri, Oct 15, by 11pm. |
| 10/06/05 | The class notes for this week have been posted. |
| 10/05/05 | A sample solution for Homework 1 is now available on WebCT in the assignment section section. |
| 09/30/05 | The class notes for this week have been posted. |
| 09/28/05 | Homework 2 is now available through the WebCT section of this site. It is a written assignment due on Wed, Oct 5, by 2pm. |
| 09/22/05 | The class notes for today's lecture have been posted. |
| 09/20/05 | The class notes for today's lecture have been posted. Also, last week's notes have been slightly revised. |
| 09/19/05 | Please submit your solution for Homework 1 electronically through the WebCT section of this site. Once you log in, click on the Assignments icon and follow the submission instructions there. |
| 09/19/05 | The Homework section has been removed. From now on, homeworks and solutions will be accessible from the WebCT portion of this site. |
| 09/19/05 | A new section, WebCT has been added to the site. From it you can log in to the university's WebCT server and access a few additional tools for the course. |
| 09/15/05 | The class notes for this week have been posted. |
| 09/14/05 | Homework 1 is also available in the Homework section. |
| 09/14/05 |
Homework 1 is finally out.
Click on the following two links to download the homework and the corresponding
Ocaml file:
hw.pdf,
hw.ml.
The homework is due on Thu, Sep 22, by 1pm. The deadline already reflects the late posting. |
| 09/08/05 | The source code of the OCaml examples seen in class is now available in the Readings section. |
| 09/08/05 | The class notes for this week have been posted. |
| 09/02/05 | Pointers to on-line OCaml resources are now available in the OCaml section. |
| 08/25/05 | The class notes for today's lecture have been posted. |
| 08/23/05 | The class notes for today's lecture have been posted in the Notes section. |
| 08/22/05 |
Welcome to the 22c:145 web site!
Please check this section on a regular basis for announcements, or for updates to the other sections of the site. |
Last Updated: Dec 15, 2005