NEWEST. (Dec. 12, 2020)
The Final Exam
will
appearon this
page in the area
"Problem Sets"
below,
On December
22, 2020, a few minutes BEFORE 9:00am.
IT IS DUE
at 11:00am.
SUBMIT TO eCLASS!
NEWER.
(Oct. 26, 2020)
Post's Theorem is NOT
allowed anywhere
in Problem Set #2.
NEW (Aug. 28, 2020) Our
classes will be via
Zoom accessible from the eClass (formerly Moodle) page for
the course. There are a few peculiarities you should note and
follow.
1) Youmustuse ayorku.caemail to access
eClass and Zoom
2) Lectures will be recorded
and saved for future viewing (via Eccho360)
3)Problem Sets,Midterm, and Final Examwill be
posted onTHIS page. Answers toALL those will beuploaded by
students to eClassat or before established
rigid deadlines.
4) Assignment Deadlines will
be within theusual2-3 weeks with NO extensions: Solutions
will be posted on THIS page belowshortly after the
time(on the due date)assignments are
due.
5) Midterm andFinal will simulate
face-2-face events of this
nature and will be due in 90 minutes (midterm) and
2 hours (exam).
6) The MidTerm date is
pre-announced below. The Final Exam date/time will
be set by the Registrar.
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. Download.
Problem Sets/MidTerm/Final Exam
Problem Set #1.PostedSeptember 19, 2020.
Due: October 9, 2020, 2pm;
in eClass (see first page of the
problem set for
submission instructions). DOWNLOAD.
Problem Set #2.PostedOctober 10, 2020.
Due: October 30, 2020, 2pm;
in eClass (see first page of the
problem set for
submission instructions). DOWNLOAD.
MIDTERM. Posteda few minutes
before 10:00am October 28, 2020.
Due: Same
Day, Oct 28, 2020, 11:30am;
in eClass
(Single FILE; upload will be
impossible after 11:45am). Download.
Problem Set #3.PostedNovember 6, 2020.
Due: November 23, 2020, 2pm;
in eClass (see first page of the
problem set for
submission instructions). Download.
Problem Set #4.PostedNovember 24, 2020.
Due: December 8,
2020, 3pm; in eClass (see first page of the
problem set for
submission instructions). Download.
FINAL EXAM.PostedDecember22, 2020,
at 9:00AM.
Due: SAME Day:
December 22,
2020, AT 11.00AM;
in
eClass (see physical page 2 [numbered as
"Page 1"] of the EXAM
for submissioninstructions).
Download.