News
- NEWER (Jan. 8) Unofficial
Course Grades are
here.
- NEW (Dec. 26) Unofficial
Grades for Problem Set 4 are
here.
- (Dec. 7)
FINAL EXAM DATE/TIME/PLACE: Wed, 14 Dec.
2016 14:00 180 minutes
TC AVIVA
- (Dec. 5) Office hours for
tomorrow will be at
12:00-13:00 due to Lassonde Council.
- (Dec. 5)
Solutions for Problem Set 4 will be posted on Dec. 9 at 2pm
- (Dec. 5) Unofficial
Grades for Problem Set 3 are
here.
- (Nov. 7) Unofficial
Grades for Mid Term Test
are here.
- (Oct. 31) Unofficial
Grades for Problem Set 2
are here.
- (Oct. 19) Erratum in Problem Set #2---Problem #3!
The formula B
should be A.
- (Oct. 18) Unofficial
Grades for Problem Set 1
are here.
- (Oct. 4) Our course box has
now become available! Main
floor in LASSONDE Building. Where:
As
you face the Atrium, the BIG BOX (green in colour!) is against the wall to your right. There is a drop-slot on it
identified as MATH1090A
via a sticker.
- (Sept. 27) Note changes to
Tutorials as of Friday, September 30, 2016. New time is 3:00pm - 4:00pm.
- (Sept. 24) The MidTerm Date Moved to Wednesday, October 26, 2016.
- The tutorials
start this Friday, September 23rd, 2016.
Office Hours:
Tuesdays, 15:00-16:00 (Location: Room LAS 2051)
Mid-Term Test
Wednesday, October 26,
2016 (in-class), 13:00-14:20.
TUTORIALS and TAs
Tutorials: Fridays, 15:00-16:00, ACW 306 throughout, except
Nov. 4 when it is held (at the same time) but in SC 303.
The TA Marking/Grading team is Chao
(chwang@cse.yorku.ca; will also do the tutorial), Navid (navid@cse.yorku.ca) and Gong (gongcheng@cse.yorku.ca).
Misc Notes
- An easy proof of a Weak
Post's Theorem with the Deduction Theorem following easily as a
corollary. 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 #1: Posted Sept. 18; Due October
5,
2016, in the course box, by 3pm. Download
here.
- Problem Set #2: Posted Oct. 5; Due October
21,
2016, in the course box, by 3pm. Download
here.
- Problem Set #3: Posted Oct. 21; Due November 16, 2016, in the
course box, by 3pm. Download here.
- Problem Set #4: Posted Nov. 18; Due December
5,
2016, in the course box, by 3pm. Download
here.
Solutions
Return to courses main page.
Return to my "general"
home
page.
Last changed: Jan.
8, 2017.