Students should consult this page at least once a week for important information.
**NEW ANNOUNCEMENTS**
Posted on Sept 1:
The first class is Friday Sept 16, 2011. There is no tutorial on Monday Sept 12th.
There WILL be tutorial on Monday Sept 19th.
Posted on Sept 19:
There will be a graduate school information session on Tuesday, Sept 27,
from 11-noon in BA B024. If you are considering attending graduate school, this should be a very useful event.
Posted on Nov 2:
Three important announcements:
(1) Current grades are posted below. Note that your marks for both homework 2 and
the midterm have been adjusted.
(2) HW3 is also posted below, and updated today to include information on
how many marks each question is worth.
(3) I have substantially modified the course notes, in order to cover
much less material, to give more time for the important new concepts
(incompleteness). Please copy and use the new notes listed below.
(Notes are the same up to page 54.) Please let me know if you
find any errors/typos in the new notes.
Posted on Nov 3:
A solution to one of the midterm questions is posted below.
Posted on Nov 11:
HW3 due date has been extended to 9am on Friday Nov 18.
Lectures: Friday 9-11 LM 155, Tutorial Monday 10-11 LM 155
Instructor: Toniann Pitassi, email: toni@cs
Text: There is no required text for this course.
A supplementary textbook that may be helpful is E. Mendelson: Introduction to Mathematical Logic, Wadsworth and Brooks/Cole, 1987.
Tutor: Lila Fontes, fontes@cs, Office Hours Thurs 3-4pm SF 4302
HOMEWORK ASSIGNMENTS:
GRADES AND MARKING:
OTHER:
COURSE NOTES:
OLD COURSE NOTES (2008):
SUPPLEMENTARY NOTES AND SLIDES FOR RESOLUTION:
SUPPLEMENTARY READING
Office: Sandford Fleming 2305A, 978-3695
Office Hours: Friday 11-12