What's New
12/21/10 |
Final exam and course grades have been posted on ICON. Have a great break! |
12/13/10 | The grades for Homework 5 have been posted. Your graded solutions are available from Naomi Mumford in 15 MLH. |
12/11/10 | A sample solution for Homework 5 is available on ICON. |
12/03/10 | Homework 5 is available on ICON. It is due by 9pm on Friday, Dec 19. |
12/03/10 | In the posted solutions for Homework 4, the given definition for the new Until operator in Problem 2 under the "definitely in the future" interpretation is actually incorrect (unintentionally so). Homework 5 will ask you to fix that definition for extra credit. |
12/02/10 | The class notes on CTL model checking [N3] had a couple of copy-and-paste errors in them. Those errors have been corrected and a new version has been posted in the Readings section. |
11/29/10 | The grades for Homework 4 have been posted. |
11/29/10 | A sample solution for Homework 4 is available on ICON. |
11/12/10 | Homework 4 is available on ICON. It is due by 9pm on Friday, Nov 19. |
11/07/10 | The grades for Midterm II have been posted. |
10/29/10 | As agreed in class yesterday, Midterm II is postponed to next Thursday, November 4. The material covered in the midterm will not change. |
10/27/10 | The grades for Homework 3 have been posted. |
10/26/10 | A sample solution for Homework 3 is available on ICON. |
10/26/10 | The date of the Midterm II has been finalized (to the initial tentative date). See the Exams section for more details. |
10/13/10 | Homework 3 is available on ICON. It is due by 7pm on Wednesday, Oct 20. |
10/04/10 | No office hours will be held this week. Please contact Prof. Tinelli by email for any questions. |
10/03/10 | The grades for Midterm I have been posted. |
09/27/10 | The grades for Homework 2 have been posted on ICON. |
09/26/10 | A sample solution for Homework 2 is available on ICON. |
09/21/10 | The date of the Midterm I has been finalized. See the Exams section for more details. |
09/17/10 | Homework 2 is available on ICON. It is due by 7pm on Friday, Sep 24. |
09/16/10 | Grades for Homework 1 are available on ICON. |
09/16/10 | A sample solution for Homework 1 is available in the Dropbox section of ICON. |
09/04/10 | Because of Labour Day, next Monday's office hours are moved to Wednesday, Sep 8 at 2-3:30pm. |
09/03/10 | Homework 1 is out. It is due by 7pm on Friday, Sep 10. Check the Homeworks section for more details on dowloading the homework and submitting your solution. |
08/25/10 | The Schedule section has been updated with a high-level summary of the first lecture and a list of assigned readings. Lecture summaries and assigned readings will be added weekly during the semester, with no more notices here. |
08/24/10 |
Welcome to the 22c:188 web site!
Please check this section on a regular basis for announcements, or for updates to the other sections of the site. |