Computer Science 2742 -- Logic for Computer Science, Fall 2008

Announcements | Course information | Assignments and tests | Lecture notes


07/12/2008 All lecture notes are now posted. Let me know if you notice mistakes or omissions.
05/12/2008 Corrected a typo in the table on page 5 of the study guide. Thank you very much for pointing it out to me! Please let me know if you notice any more errors or omissions.
04/12/2008 Here are the (corrected) term marks. Please let me know by no later than Monday if any of your assignments or test marks are missing or recorded incorrectly. If you are one of the people with the red empty cell in place of the term mark, please email me immediately!
03/12/2008 Solutions for assignment 5 are now posted. Let me know if there are any mistakes or omissions.
03/12/2008 There will be pre-exam office hours on Monday, Dec 8th, 12pm-4pm. If you would like to see me at some other time, please send me an email.
03/12/2008 Study guide for the final exam is now posted. Let me know if there are any mistakes or omissions.

Old announcements


Course information

Course Information Sheet

Lectures: 12:00-12:50 Monday, Wednesday and Friday in EN-1051
Instructor: Antonina Kolokolova , email: [Your browser cannot view this email address] , office ER-6011.
Instructor office hours: M/W 13:00-13:50 or by appointment.
Textbook: There will be no textbook for this course. We may have some reference books later on.

Marking scheme ( tentative! ): ~5 assignments of 7% each, two midterm tests 15% each and a final exam 35%. Note that the last assignment will be due during the last week of the semester (to provide adequate preparation for the final exam).


Assignments and tests

You are encouraged to use LaTeX for typesetting your assignments. A good introduction to LaTeX is "Essential LaTeX" .


Lecture notes

A study guide for the first test. A study guide for the second test. A study guide for the final exam.