(Oct. 25) Our Test on Oct. 26 at 10am is in our
classroom, VANIER 135..
(Oct. 23) The answer of
bullet #3 Question 4 in Problem Set 1 in the posted solutions is wrong due
to wrong bracketing
used. Please view/download the corrected solution
below.
1)
Youmustuse
ayorku.caemail to
access eClass and Zoom
2)
Problem Setswill be posted onTHIS
page, NOT
on eClass..
PAPERLESS submission:
Answers toALL
those must beuploaded
by
the students to eClassat or before
established rigid deadlines.
3) Assignment
Deadlines will be within theusual2-3 weeks
with NO extensions:
Why? Because Solutions
will be posted on THIS page belowshortly
after the time(on the due date)assignments
are due..
4) Midterm andFinal
are expected to be
face-2-face events. They
will be have lengths of 90 minutes (midterm)
and 2 hours (exam).
5) 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. 8 - 14
Mid-Term
Test
October 26, 2022 (in-class), 10:00am-11:20am.
The TA Team:
Hongyi, GUO
Alex HEYMAN
Sai Kiran TEDLA
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
Problem Set #1.
Posted Sept. 17, 2022;
Due: Oct.
4, 2022 by 2:00pmin eClass. Download.
Problem
Set #2. Posted
Oct. 8, 2022; Due:
Oct. 31, 2022 by 3:00pmin eClass. Download.
Problem Set #3.
Posted Nov. 2, 2022;
Due: Nov. 23, 2022 by 3:00pmin eClass. Download.
Problem Set #4.
Posted Nov.
22, 2022; Due: Dec. 7, 2022 by 3:00pmin eClass.
Download.