- NEWEST.
(April
28, 2020). The Unofficial
Course grades
are here. View/Download.
(Note.
Three grades are missing
due
to deferred Exam requests).

- NEWER. (April 25, 2020). The Unofficial Problem Set #4 grades are here. View/Download.
- NEW.
(April 10,
2020). There is a typo in Question #1of the Exam. It
ought to say Principle 3, not 2. As such, this question is removed. If
anyone saw through the typo and did part two correctly will get extra points.
If anyone answered yes
in sub-question 1 will
get the point (1) since this is correct for
"Principle 2". The exam will be marked out of 36 (not 40). But any extra points
earned in Q#1 you will keep.

- (April 9,
2020). The FINAL EXAM PAPER IS HERE! Exam length =
9:00am-11:00am (plus 45
min elbow room :). Upload
your Answer Paper to Moodle as ONE File.
Upload Gate closes at
11:45am. Download.

- (April 4, 2020).
Today, your window to submit Assig #4 opens at 2pm. It closes at 2pm on April
6. Please note
that only one upload is allowed just like only one submission is
allowed in hard copy. If you photograph your
paper (iPhone or equivalent) page by page please ZIP the
PNG pages into one file and upload the ZIP file. If you
use the photo approach please ensure your smart phone
dates the photos. I
also allow Microsoft Word
uploads. MS Word has a neat MATH Editor which is handy for math
symbols.

- (March 31, 2020). The Unofficial (adjusted) MidTerm grades are here. View/Download.
- (March 30, 2020). The Unofficial MidTerm grades are here. View/Download.
- (March 28,
2020). Assignment
#4 must be submitted via Moodle in the Moodle page
area "ASSIG
#4". Submit PDF or
PNG only. Submission (upload)
window is April 4, 2:00pm - April 6, 2:00pm.

(March 22, 2020)

FINAL EXAM SYLLABUS and RELATED INFORMATION

All lecture notes are examinable with exceptions/clarifications as noted below.

Process:

- (Mar. 18, 2020)
There is Moodle access to the course for Q & A
and submission
of Assig #4 and Final Exam electronically. Final Exam is on line,
on April 9,
2020, 2 hours, starting at 9:00 am.

- (Mar. 15, 2020)
A new heading "Comments on lecture notes"
has been added with hints on what to pay attention to.

- (Mar. 13, 2020) Course-specific
Plan to complete the Term in the absence
of face-to-face contact.
(1) Our lecture notes that
have been regularly posted are a faithful image of
the lectures. Imperfectly, but inevitably,
they will be the substitute of the lectures.
Please
visit this site frequently. There will be at
least three
more lecture-notes "sections" or "chapters"
uploaded. (2) Office hours and Tutorials entail
face-2-face contact and are disallowed by York. Thus we will
hold Office
Hours by
email. Questions sent by students to me in the
1:00pm-2:00 time-window on Thursdays AND Tuesdays,
until our Final Exam Date (April 9), will be answered
promptly. (3) Tutorials will be also
conducted by email. Please send emails to the
TAs in the windows provided by the tutorial group
that you are
enrolled in. See below for the
email addresses! Final Exam.
There is no
word about cancellation of Final Exams to date,
but you never know. Thus I am orienting my thinking
toward an at-home time-limited exam
regardless. I will get details to you promptly on this
page once
the logistics are in place.

- (Mar. 13, 2020)
The Midterm is ON as scheduled!!

- (Mar. 12, 2020)
The Unofficial
Problem Set #3 grades
are here. View/Download.

- (Mar. 8, 2020)
IMPORATNT
INFO FOR MIDTERM: Because of the class size we
are writing in
three (3) different rooms in ACW (same
date/time: March
13, at 1:30pm) : Students whose names
start with A
to Q inclusive
write in ACW
206; Students whose names
start with R
to S inclusive
write in ACW
205;
Students whose names
start with T
to Z inclusive
write in ACW
305

- (Mar. 2, 2020) Deadline for Assig #3 is
now extended:
Due on Friday Mar. 6 at 1:00 pm
(please note time!)

- (Feb. 29, 2020)
The
Unofficial
Problem Set #2 grades
are here. View/Download.

- (Feb. 12, 2020)
Please Note:
(1) The due time
of the Assignment #2 today: It is 3:00 pm. (2)
There are no
tutorials during the Reading Week.

- (Feb. 11, 2020)
Please get your Assignment papers from the Tutorial you
are registered in. There is no other way to get the
papers back.

- (Feb. 8, 2020)
The Unofficial
Problem Set #1 grades
are here. View/Download.

- (Jan. 31, 2020)
Here is the PASS
moodle page link. The enrollment
key will be given in class.

- (Jan. 28, 2020)
Regrettably I
cannot hold the Office Hour on Thursday Jan. 30, 2020.

- (Jan. 14, 2020)
The course drop box is located in Lassonde Building, First Floor,
in the "balcony" area above the the Atrium. The box is
placed against the outer wall of the 1012 Wing of the Main Office Area.
The box has a slot (top
right) labelled for EECS 1028.

**Office Hours:
Thursdays, 13:00-14:00**** (Location: Room LAS 2051)**

**Mid-Term Test**

March 13, 2020 (in-class), 13:30am-15:20am.

TUTORIALS

Tutorials start
the week of
Jan. 13, 2020

Ghorbani, Saeed
(saeed.ghorbani1262@googlemail.com) |
Tutorial 4 (F 15:30/120min, BC215) |

Mohamed Hasan, Fayas (fayas@yorku.ca) | Tutorial 1 (M, 14:30/120min, ACE007) |

Guo, Hong
Yi (hguo06@yorku.ca) |
Tutorial 5 (M, 14:30/120min, SC303) |

Barai, Gouri
(barai19@yorku.ca) |
Tutorial 3 (F, 15:30/120min, CB115) |

Khodaparast, Seyed Saeed (khodaparast2008@gmail.com) |
Tutorial 2 (M, 19:30/120min, PSE321) |

- Russell's Paradox -- a motivation for doing set theory safely. Download.
- Safe Sets. Notes #1 (Revision 2). Download.
- Safe Sets. Notes #2 (Revision 2). Download.
- Safe Sets. Notes #3. (Revision 3; includes transitive closure and equivalence relations). Download.
- Safe Sets. Notes #4.(on Order and PO classes
and sets). Download.

- Safe Sets. Notes #5. (Revision 1. on Functions). Download.
- Safe Sets. Notes #6. (Revision 1. Finite vs Infinite Sets). Download.
- Safe Sets. Notes #7. (A bit of Logic [Quantifier handling]). Download.
- Safe Sets. Notes #8. (Revision 2. Induction). Download. Problems added in the lecture notes! Please do them all (and ask me and/or the TAs for any "howto" help you need)
- Safe Sets. Notes #9. (Revision 1 (example added to the end). Inductive definitions). Download.
- Safe Sets. Notes #10. (Inductively defined sets). Download.
- Safe Sets. Notes #11. (Recurrence relations and closed form solutions). Download.

Comments on
Lecture Notes.

- For now and until my next posted comment appears, study Notes #8 and do all "exercises" there. Ask me (or the TAs) when needed. Please skim over the "theory part" (i.e., the part MC=CV=SI; know this result, but NOT the proofs) and concentrate to understanding the several examples of Induction (ask me or the TAs when needed).
- BTW, remember that when you do an induction proof, the I.H., whether it is just "P[n]" (for SI) or "for all k<n, P[n]" (for CVI), the n is fixed! The I.H. is for a fixed n, not for all n.
- In Notes #9 you should study the statements of the main theorems. You may omit the proofs with no detriment to continuity. Concentrate on the examples.
- In Notes #10 you should
study the statements of the main theorems. Please aim
for a good understanding on why the proof of induction
over the defined set works and study the examples. Two
of them are closely related to a problem in Assignment
#4.

- Remarks on yesterday's (March 18, 2020) Moodle practice (83 students participated). Download/view.
- NEW (Mar. 20, 2020) In problem #8 of Assignment 4 there is a Hint. Add to it the observation that in the second induction -- with respect to string length n -- you have as Basis n=0, but also have boundary "basis-like" cases for n=1, since the I.H. does not apply to those. So verify claim directly for cases n=0, AND n=1.
- NEWER
(Mar. 22, 2020) Reminder: What
can go wrong with induction? I will list three things that are as
wrong as it gets. Please avoid them! (1) Never say,
"verified P(n), for n=1, 2, 3, .., 10, and so on
(without doing the "so on") therefore P(n) is true for all n".
(2) Never skip
the I.H.! (3) Absolutely never say: "I.H. is: assume
P(n) for
all n" No, no and no! You must assume P(n) for a FIXED unspecified
n (i.e., not n=3 or 42). But certainly NOT "for all n".
After all, this is what you are trying to PROVE.

Moodle related practice

- Posted March 18, 2020. Induction practice. Download/view.
- Posted March 20, 2020. Logic practice. Download/view.
- Posted March 22, 2020 (re-posted March 23, with clarification). Big-O practice. Download/view.
- Posted March 23, 2020 ([BTW, this was another no show event.] Solution of "Practice #3"). Download/view.

- Problem Set #1. Posted Jan. 12, 2020. Due: Jan. 24, 2020, by 4:00pm in the course drop box. Download.
- Problem Set #2. Posted Jan. 26, 2020. Due: Feb. 12, 2020, by 3:00pm in the course drop box. Download.
- Problem Set #3. Posted Feb. 14, 2020. Due: Mar. 6, 2020, by 1:00pm in the course drop box. Download.
- Problem Set #4. Posted Mar. 14, 2020. Due: Apr. 6, 2020, by 2:00pm Submission (by Moodle) window is April 4, 2:00pm - April 6, 2:00pm. Download.
- ON LINE FINAL
EXAM. Posted Apr. 9, 2020. Starts at 9:00am, Ends at 11:00 am
(another 45min
for "upload elbow room" is allowed; Brick wall "doors close" deadline:
April 9, 11:45am).
Download.

- Problem Set #1. Posted: Jan. 24, 2020. Download.
- Problem Set #2. Posted: Feb. 12, 2020. Download.
- Problem Set #3. Posted: Mar. 6, 2020. Download.
- MidTerm Solutions. Posted: Mar. 13, 2020. Download.
- Problem Set #4. Posted: Apr. 6, 2020. Download.
- FINAL EXAM. Posted: 2:40pm, Apr. 9, 2020. Download.

Return to courses main page.

Return to my "general" home page.

Last changed:
Apr 28, 2020.