News
- NEWER! Dec. 18, 2017. UNOFFICIAL Course Grades are HERE!
- NEW! Dec. 14, 2017. Unofficial
Problem Set #4 Grades
are posted HERE!
- Nov. 27, 2017. Unofficial
Problem Set #3 Grades
are posted HERE!
- Nov. 22, 2017. Course
Evaluation! As mentioned in class today, on Monday, Nov. 27, 2017,
I will ask you to use the time
slot 1pm-1:15pm and your own internet-ready devices
(laptops, smartphones) to complete the course evaluation for MATH
1090A. URL: http://courseevaluations.yorku.ca
- Nov. 20, 2017. The Final Exam
will be on December 7, 2017,
at 2pm. Place TC AVIVA.
180 minutes duration.
- Nov 9, 2017. Unofficial
Midterm Grades are posted HERE!
- Nov 5, 2017. Unofficial
Problem Set #2 Grades
are posted HERE!
- Oct 23, 2017. Reminder that the Term Test
is on October 30 (Monday) in
our normal classroom; 13:00-14:20. Tomorrow in the
tutorial you can collect your Problem Set #1 papers!
- Oct 23, 2017. Unofficial
Problem Set #1 Grades
are posted HERE!
- Oct 16, 2017. Please
re-download the Weak Post's
Theorem paper below
(changed today).
- Oct 11, 2017. Erratum: See corrected Problem Set #2: Problem 3 is now corrected.
- Oct. 1, 2017: Problem 2 in Problem Set #1
is missing the max marks: They are 5.
- Oct. 1, 2017: The Course Box is located in the Lassonde Building
Atrium horseshoe, against one of the walls.
- Sept. 16, 2017: Tutorials start
on Tuesday the 19th! See details below.
- First Class
is on September 11, 2017. Tutorials
TBA.
Office Hours:
2:30-3:30pm, Mondays (Location:
Room LAS 2051)
Mid-Term Test
Monday, October 30,
2017 (in-class), 13:00-14:20.
TUTORIALS and TAs
The TA Team consists of Calden, Chao and Sed.
TUTORIALS: Tuesdays
11:00am-12:00pm (Calden)
Starting on Tuesday Sept. 19, 2017. All will be held in CLH B
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.
- 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: September 19, 2017. Due: October 4, 2017 in the course box by 2:30pm. Download.
- Problem Set 2. Posted: October 1, 2017 (Corrected [Problem 3] Oct. 11, 2017). Due: October 23, 2017 in the course box by 3:00pm. Download.
- Problem Set 3. Posted: October 26, 2017. Due: November 16, 2017 in the course box by 2:30pm. Download.
- Problem Set 4. Posted: November 18, 2017. Due: December 4, 2017 in the course box by 3:00pm. Download.
Solutions
- Problem Set 1 Solutions: Posted : October 4, 2017. Download.
- Problem Set 2 Solutions: Posted : October 23, 2017. Download.
- MIDTERM Solutions: Posted : October 30, 2017. Download.
- Problem Set 3 Solutions: Posted : November 16, 2017. Download.
- Problem Set 4 Solutions: Posted : December 4, 2017. Download.
- Final Exam Solutions: Posted : December 11, 2017. Download.
Return to courses main page.
Return to my "general"
home page.
Last changed: Dec.
18, 2017.