News
- NEWER. (Jan. 4, 2016) The informal grades for the Course are
here.
- NEW. (Dec. 15) The informal grades for Assignment No. 4 are here.
- (Dec. 4) There will be a tutorial
on Thursday Dec. 10, 2015, at 11:30AM to 12:30PM, in CB115.
- (Dec. 2) The informal grades for Assignment No. 3 are
here.
- (Nov. 17) Please note the new due date of
assignment No. 3: November
20, by 2:00pm.
- (Nov. 3; 8:07pm) The informal grades for
Assignment No. 2 are here.
- (Nov. 3) As I need to go to
Lassonde Council today I will be unable to hold
office hours. By the way, the
Midterm grades are here. Posted grades on instructors' web pages are
informal.
- (Oct. 28) From the Registrar's Web
Notes: "Fall Reading Days (no
classes but University is open) is October 29 - November 1". In
particular, there will be no tutorial
tomorrow (Thursday the 29th of October).
- There was another uploading of an
easy proof of a Weak Post's Theorem tonight (Oct. 27).
Four typos were corrected (in red type:
See 1.1, 1.2 and
2.1).
- (Oct. 26, 2015) The Notes on the Weak
Post Theorem and the Deduction Theorem were slightly
amended today.
- (Oct. 19, 2015) The first
assignment grades are here: Click.
- October 3, 2015: The due date for
Assignment #1 is now October 7, 2015, at
2:00pm in the MATH1090 Drop Box (on the East Wall of LAS
1003, just to the right of the old EECS Advising
Window).
- Office hours are on Tuesdays,
3:00-4:00pm in LAS 1012S.
- Our tutorials start tomorrow (Sept.24) in PSE 321, 11:30am-12:30pm.
- Assignment No. 1 has been posted.
- Please note the change of tutorial days (and start
date): Thursdays, 11:30-12:30,
Start on September 24.
Office Hours: Tuesdays,
15:00-16:00 (Location: Room LAS 1012S)
Mid-Term Test
Wednesday, October 21, 2015
(in-class), 13:00-14:20.
TUTORIALS and TAs
Thursdays, 11:30-12:30 (PSE 321)
Tutor: Gao,
Feng
Grading: Gao, Feng; Chen, Boyuan;
Moury, Sanjida
Tutorials start on Thursday, Sep. 24, 2015
Misc Notes
- An easy proof of a Weak Post's
Theorem with the Deduction Theorem following easily as a corollary.
Download.
- Here is a summary of the
main points of the Boolean and Predicate Calculi. It
will be provided to you in the
Exam as part of the material
in your Exam Book. Please do not bring to
the Exam! Download.
Problem Sets
- Assignment No. 1.
Posted on September 21. DUE: October 7, in the course drop box by
2:00pm. Download.
- Assignment No. 2.
Posted on October 7. DUE: October 27, in the course drop box by 2:00pm.
Download.
- Assignment No. 3.
Posted on October 27. DUE: November 20, in the course drop box by 2:00pm.
Download.
- Assignment No. 4.
Posted on November 20. DUE: December 7, in the course drop box by
2:00pm. Download.
Solutions
- Assignment No. 1. Solutions Posted on October
7. Download.
- Mid Term Test. Solutions Posted on October 23. Download.
- Assignment No. 2. Solutions Posted on October
27. Download.
- Assignment No. 3. Solutions Posted on November
20. Download.
- Assignment No. 4. Solutions Posted on December
8. Download.
- Final Exam. Solutions Posted on December
26. Download.
Return to courses main page.
Return to my "general" home page.
Last changed: Jan.
4, 2016.