ANNOUNCEMENTS: (Students, please check for announcements every week.)
Tutor: Noah Fleming, noahfleming@cs
COURSE NOTES:
Posted Sept 20: Tutorial problems will be posted in advance of the tutorial
here
Posted Nov 28: Test II will be held on Thursday, Dec 5, 3:00-5:00pm in BA1210. Extra office hours Wed Dec 4 2-3 (SF4306A). See below for study problems for Test II.
Posted Dec 2: Test II comments: No notes or aids allowed. You will be given the LK rules, plus the PA axioms, as well as the equality axioms. (You won't need to know the RA axioms.)
Posted Dec 17: Thanks for taking the course! The final grades have been posted but below is an updated marks file so that you can see your marks for hw4 and test 2. Have a good holiday/break!
COURSE TIMES, CONTACT INFO
Instructor: Toniann Pitassi, email: toni@cs
Office Hours: Monday 5:15-6pm, Sandford Fleming 2305A
Lectures: Monday 3-5 BA 1200
Tutorial: Friday 12-1 BA 1200
Noah's Office Hours: to be announced soon
HOMEWORK ASSIGNMENTS:
EXAM INFORMATION:
GRADES AND MARKING:
LECTURE NOTES:
TUTORIALS:
SUPPLEMENTARY READING