NEWEST (Dec. 31, 2021) The Unofficial Assig. #4 Grades are
HERE.
NEWER (Dec. 19, 2021) The Unofficial Assig. #3 Grades are
HERE.
NEW (Dec. 1, 2021) Please Note that due to
workload considerations the
Solutions of Assignment #4 will be posted on
December 15, 2:00 pm on
this web page, as usual.
(Dec. 1,
2021) FINAL EXAM
SCHEDULE: The
Registrar's Office has set our Final as follows:
MATH 1090 3.00 B, Wed, 22 Dec 20219:05120 minutes.
(Nov. 21, 2021) ERRATUM:
The Requirement "Do not Use Post's
Theorem in Any Problem" in Assigs #3 and #4 is
spurious.
Please Ignore!
The requirement to use the solution type asked remains
in effect!
(Nov. 14,
2021) I have added to the hint given in
Problem 5,
Assignment #3. See below Problem 3 below!
(Nov. 13,
2021) Unofficial Report
on Assignment #2
grades is here. View/download.
(Nov. 12, 2021) The Unofficial Report
on MIDTERM
grades was updated in 8 places.
All other places are unchanged. The link is the same
as below.
(Nov. 6, 2021)
Unofficial Report
on MIDTERM
grades is here. The
TA (Saeed:saeed@eecs.yorku.ca)
will be happy
to connect with those
students who want to reach him and ask where
they went wrong.View/download.
(Oct. 17, 2021)
Unofficial Report
on Assignment #1
grades is here. view/download
(Oct. 5, 2021)
Came to my attention that there is a typo in the course
outline (now
corrected). The MidTerm is on Oct. 21, 2021, which is a THURSDAY
(Class time slot).
(Sept. 24, 2021)
We have Tutorials! They start Friday
next week at 3:00pm-4:00 via ZOOM.
(Jul. 24, 2021)
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 must
beuploaded by the
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 be time-limited just as
the analogous face-2-face events would be.
They
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.
Office Hours:
(Location: By E-Mail.
I will answer
questions promptly
to emails sent DURING
14:00--16:00.)
Reading Week
Oct. 9 - 15
Mid-Term
Test
October 21, 2021 (by eClass/Moodle), 11:30am-13:00pm.
The TA Team:
Hongyi Guo
Tutorial leader
Saeed Ghorbani
Feng Wei
Shankar Kantaraj
Tutorials/Office
Hours by ZOOM
(Conducted by
Hongyi Guo)
Fridays
3:00pm-4:00pm
Start October 1, 2021
Misc Notes
Lecture
NOTES (these keep changing by adding material and by making modifications).
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 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. Posted Sept. 19, 2021. Due: October 5, 2021 at 2:00 pm in
eClass (submit to the link on
main page named "Assignment
(Problem Set) #1"). DOWNLOAD Questions.
Problem Set #2. Posted Oct. 6, 2021. Due: October 29, 2021 at 2:00 pm in
eClass (submit to the link on
main page named "Assignment
(Problem Set) #2"). DOWNLOAD Questions.
MIDTERM. Posted Oct. 21, 2021.
Due:
October
21, 2021 at 1:00 pm. Submit
to eClass in the
activity named "MidTerm"). DOWNLOAD.
Problem Set #3. Posted Nov. 5, 2021. Due: November 23, 2021 at 2:00 pm
in eClass (submit to the
link on main page named "Assignment (Problem Set) #3"). DOWNLOAD
Questions.
Extra Hint for
Problem 5 in Assignment 3. View/Download.
Problem Set #4. Posted Nov. 20, 2021. Due: December 8, 2021 at 5:00 pm in
eClass (submit to the link on
main page named "Assignment
(Problem Set) #4"). DOWNLOAD Questions.
FINAL EXAM. Posted Dec. 22, 2021.
Due: December
22, 2021 at 11:05 am.
Submit
to eClass in
the activity
named "FINAL
EXAM"). DOWNLOAD.