22c:188 Logic in Computer Science
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.|
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.