News
- NEWEST4:
(Jan. , 2019) Unofficial grades for the Course: Download/View HERE.
- NEWER: (Dec.
19, 2018) Unofficial
grades for Problem Set #4: Download/View here.
- NEW:
(Dec. 5, 2018) FINAL EXAM INFORMATION:
Our Final Exam is on Sunday, Dec. 9, 2018 at
2:00pm - 5:00pm. If your LAST NAME starts with A -- M, then you write in DB, Rm 0016. If
your LAST NAME
starts with N
-- Z, then you write in DB Rm 0014. These two rooms
are adjacent.
- (Dec. 5, 2018) Unofficial grades for
Problem Set #3:
Download/View here.
- (Nov. 10, 2018) Problem Set #3 Due Date
has changed! See below. Problem Set #4 will
still be posted on November 16 and will be due on December 4.
- (Nov. 7, 2018) Unofficial grades for
Problem Set #2 AND MidTerm: Download Here and Here.
- (Nov. 1, 2018) Download corrected MIDTERM
Solutions Below (Q #1(a): answer was missing cases.
The corrected area is typeset in red type).
- (Oct. 30, 2018) Download corrected #2
Solutions (Problem #4)
- (Oct. 23, 2018) Unofficial grades for
Problem Set #1: Download Here.
- (Oct.
19, 2018) Problem
Set #2 Due Date and Time changed! See below.
- We have an Assignment Drop Box! (Sep. 19, 2018). Location: First
floor in the Lassonde Building, in the Atrium "horseshoe",
against the wall. Clearly
labelled by course, section and instructor.
- Tutorials Announced below (Sep. 15,
2018)
- Office Hours Announced (Sep. 13, 2018)
Office Hours: Tuesdays, 12:00-13:00 (Location: Room LAS 2051)
Mid-Term Test
October 30, 2018
(in-class), 10:00am-11:20am.
TUTORIALS and
TAs
The TA Team:
Victor Kang, Carl Blacklock, Chao Wang.
TUTORIALS:
Wednesdays,
11:00am-12:00pm, Room ACE 009 (Tutor: Carl Blacklock)
Start: Wednesday, September
19, 2018
Misc Notes
- Russell's Paradox -- a
motivation to do 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 No. 1. Posted
September 15,
2018; Due October 3, 2018 at
2:30pm in the Course
Drop Box. Download here.
- Problem Set No. 2. Posted
October 1,
2018; Due October 24, 2018 at
3:30pm in the Course Drop Box.
Download here.
- Problem Set No. 3. Posted
October 26,
2018; Due November 20,
2018 at 2:30pm
in the Course Drop Box. Download here.
- Problem Set No. 4. Posted
November 16,
2018; Due December 4,
2018 at 2:30pm
in the Course Drop Box. Download here.
Solutions
- Problem Set No. 1. Posted
October 3, 2018. Download here.
- Problem Set No. 2. Posted
October 24, 2018. Download here.
- MIDTERM
(corrected solutions for Q1(a)). Originally posted
October 30; Re-posted
Nov 1, 2018.
Download here.
- Problem Set No. 3. Posted
November 20,
2018.
Download here.
- Problem Set No. 4. Posted
December 4, 2018. Download here.
- FINAL EXAM. Posted December 21,
2018.
Download here.
Return to courses main page.
Return to my "general" home page.
Last changed:
Jan 4, 2019.