News
- NEWEST (Dec 21). The
Unofficial Course
Grades are here (view/download)
- NEWER (Dec 13). The
Unofficial
Problem Set #4 Grades are here (view/download)
- NEW (Dec 6). The
Unofficial
Problem Set #3 Grades are here (view/download)
- (Dec 5). A
typo in Problem Set 4 Solutions: In
problem #1,
it should say (3,4)+Post,
not (2,3)+Post.
Corrected.
- (Dec 5). Due to an inconsistency in
grading #5 of the MidTerm, this problem was re-graded.
HERE are the amended
MidTerm Unofficial Grades.
- (Dec 2). Due
to flight cancellation back to Toronto I must move my
additional
office hours, from Tuesday to Thursday 1pm-2pm.
The Wednesday
office hours are on, unchanged.
- (Nov 29).
Our Final
Exam is on Sunday, Dec 8, at 7:00-10:00pm in TC AVIVA.
- (Nov 28).
There are additional office hours, Tuesday, Dec. 3,
1:00pm-2:00pm. We will have the regular office hours on
Wednesday the 4th of Dec, as well as the tutorial
in the morning.
- (Nov 24).
The Unofficial
MIDTERM Grades are here (view/download)
- (Nov 20). Due to an inconsistency in grading
#2 and #3 of
Problem Set 2, these two problems were re-graded. Here are the
unofficial amended grades.
- (Nov 8).
Typo corrected
in assignment #3 (problem
7). Please re-download below!
- (Nov 7). The
Unofficial Problem
Set #2 Grades are here (Download/View)
- (Oct 20). The Unofficial Problem Set
#1 Grades are here (Download/view). "Unofficial" is a term that
acknowledges the authority of the department to alter
final class grades.
- (Sep 30). The
date due of
the assignment is now corrected: It is now Oct. 7 at 2pm
(Monday).
- (Sep 10). Note TYPO on Tutorial Start Date!
It is Sep 11
(tomorrow).
- (Sep 10). There will be no Office
Hours on Sep 11, but there will be additional Office Hours
on Sep 16,
13:00-14:00 in LAS 2015 as well as the scheduled ones on
Wednesday Sep. 18.
- (Sep 6). Our
tutorials
are set for every
Wednesday, 10:00am-11:00am,
in CLH 110, from Sep 11-Dec 4 inclusive (no tutorial in the fall
reading week).
Office Hours:
Wednesdays, 13:00-14:00 (Location: Room LAS 2051)
Mid-Term Test
October 31, 2019
(in-class),
10:00am-11:20am.
TUTORIALS and
TAs
The TA Team: Yunge Hao, Chao
Wang, Mana Poustizadeh.
TUTORIALS:
See News
item of Sep. 6!
Start: September 11 (Room CLH
110)
Tutor: Yunge Hao
Misc Notes
- Russell's Paradox -- a
motivation for doing mathematics formally. Download.
- An easy proof of a Weak Post's Theorem with the Deduction
Theorem following easily as a corollary. Download.
- Using Formal Logic
to solve two EECS 3342 problems. Download.
- Generalised
Associativity and Commutativity: Irrelevance of
brackets and order in some "glue" chains: 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
- Problem Set #1:
Posted Sept. 15,
2019; DUE: Oct. 7,
2019, in the Course
Box in Lassonde by 2:00 pm. Download here.
- Problem Set #2:
Posted Oct. 9,
2019; DUE: Oct. 30,
2019, in the Course
Box in Lassonde by 2:00 pm. Download here.
- Problem Set #3:
Posted Nov. 7,
2019; DUE: Nov. 21,
2019, in the Course
Box in Lassonde by 2:00 pm. Download here.
- Problem Set #4:
Posted Nov. 21,
2019; DUE: Dec. 4,
2019, in the Course
Box in Lassonde by 2:00 pm. Download here.
Solutions
- Problem Set #1:
Posted Oct. 7, 2019. Download HERE.
- Problem Set #2:
Posted Oct. 30, 2019. Download HERE.
- Mid Term:
Posted Nov. 1, 2019. Download HERE.
- Problem Set #3:
Posted Nov. 21, 2019. Download HERE.
- Problem Set #4:
Posted Dec. 5, 2019. Download HERE.
- Final Exam:
Posted Dec. 12, 2019.
Download HERE.
Return to courses main page.
Return to my "general" home page.
Last changed:
Dec 21, 2019.