Students should consult this page at least once a week for important information.
**NEW ANNOUNCEMENTS**
Posted on Aug 24:
The first class is Monday Sept 8, 2014.
Posted on Sept 18:
There *will* be tuturial this Friday, Sept 19.
Posted on Sept 22:
Notes for Completeness of Resolution (the proof that we did in class) is posted below,
under supplementary reading. There will be tutorial this Friday.
Posted on Sept 23:
Modified notes on Resolution posted last night to correct a mistake.
Posted on Oct 6:
This Friday, Oct 10, I will be lecturing during the tutorial hour
in order to finish up the proof of completeness theorem, and
also to give some tips on studying for the midterm exam. Please
try to attend. Also please check this webpage regularly, as I will be
announcing extra office hours, for help with homework 1, and
any questions that you may have while studying for the midterm.
The midterm is closed notes, and will cover everything that we
did in class, up to and including LK and the soundness/completeness
theorems for LK.
Posted on Oct 7:
Extra office hours: Friday Oct 10 1-2pm SF4306D;
Wednesday Oct 15 1-2pm SF4306D;
Thursday Oct 16 2-3pm SF2305A.
Posted on Oct 15:
OFFICE HOURS ROOM CHANGES: Wednesday (TODAY) Oct 15 1-2pm SF2305A;
Thursday Oct 16 2-3pm SF4306D.
Posted on Oct 18:
Homework 1 solutions are posted below.
Midterm exam on Monday 4-6 in the usual room, no notes.
Posted on Oct 23:
There WILL be a tutorial this Friday (tomorrow), usual room and time.
Posted on Oct 27:
Homework 2 has been posted below. It is due at the very beginning
of class on makeup Tuesday Dec 2. Late homeworks will *not* be accepted.
Posted on Oct 28:
Correction: Makeup Monday is on Wednesday, Dec 3, not on Tuesday, Dec 2.
Homework 2 will be due at the very start of class on Wednesday, Dec 3.
The rest of the class will cover the solutions to HW2, as well as
solutions to other selected problems, as preparation for the final exam.
Late homeworks will not be accepted.
The final exam has been posted. It is 3 hours long,
Thursday, Dec 11, 2-5pm, BA3116.
Posted on Oct 29:
Makeup Monday room just announced. It will be on Wednesday, Dec 3, 4-6pm, in
BA 1200. Homework 2 due at the beginning of class on Dec 3.
Posted on Oct 31:
Homework 1 and the Midterm have been graded.
Your marks are recorded below. Both will be returned on Monday.
Happy Halloween!
Posted on Nov 7:
The lecture notes on Computability have been updated below
to correct some mistakes and notation.
Posted on Nov 24:
Office hours this Thursday, Nov 27, 1-2pm, SF 4306D,
and next Monday, Dec 1, 12-1pm, SF 2305A.
There will be tutorial this Friday.
Posted on Dec 4:
Homework 2 solutions have been posted below.
Extra office hours next week: Monday Dec 8 12-1pm SF2305A;
Wednesday Dec 10 1-2pm SF4306D.
Lectures: Monday 4-6 BA 1230, Tutorial Friday 12-1 BA 1230
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: Robert Robere, robere@cs Office Hours to be announced, SF 4306
HOMEWORK ASSIGNMENTS:
GRADES AND MARKING:
OTHER:
COURSE NOTES:
SUPPLEMENTARY READING
Office: Sandford Fleming 2305A, 978-3695
Office Hours: Monday 12-1