Welcome to CSC165, Mathematical Expression and Reasoning for Computer Science. This course will help you express concepts from Computer Science, Mathematics, and other parts of the world in a precise and useful way. Many students find this course challenging, so you are encouraged to make use of lectures, tutorials, office hours, and the DCS Help Centre to help you master course material.
Danny's office hours are Monday 2–3 pm, and Wednesday 2–4 pm, in BA2230.
You are responsible for making sure you have the necessary prerequisites for this course.
| Week: | Thursday | Friday | Monday | Tuesday | Wednesday |
| Week #1 introduction / sets / functions / summation, product / inequalities / propositional logic input: output: | Sep 5 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 6 | Sep 9 | Sep 10 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 11 |
| Week #2 predicate logic / sentences / define predictes / conventions input: output: Quiz 2 | Sep 12 Quiz 2 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 13 | Sep 16 | Sep 17 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 18 |
| Week #3 proofs / statements / divisibility input: Problem Set 1 handoutoutput: Quiz 3 | Sep 19 Quiz 3 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 20 | Sep 23 | Sep 24 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 25 |
| Week #4 disproof / contrapositive / cases input: output: | Sep 26 Quiz 4 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Sep 27 | Sep 30 | Oct 1 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 2 |
| Week #5 contradiction / linear combinations input: output: term test October 8 | Oct 3 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 4 | Oct 7 | Oct 8 Term test, 1:40–3:00 Surnames A--L, EX300; Surnames M--Z, EX310 Term test, 3:10–4:30 EX200 sample solutions for fall 2017 | Oct 9 |
| Week #6 more contradiction / induction input: output: Quiz 6 | Oct 10 Quiz 6 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 11 | Oct 14 Thanksgiving: university closed | Oct 15 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 16 |
| Week #7 different starting points / dual universals input: output: Quiz 7 | Oct 17 Quiz 7 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 18 | Oct 21 | Oct 22 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 23 |
| Week #8 introduction to algorithm analysis input: output: Quiz 8 | Oct 24 Quiz 8 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 25 | Oct 28 | Oct 29 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Oct 30 |
| Week #9.0 loops input: output: Quiz 9 | Oct 31 Quiz 9 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Nov 1 | Nov 4 Fall break | Nov 5 Fall break | Nov 6 Fall break |
| Week #9.5 worst-case, average-case input: output: | Nov 7 Fall break | Nov 8 Fall break | Nov 11 | Nov 12 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Nov 13 |
| Week #10 more average case, graphs input : output: Quiz 10 | Nov 14 Quiz 10 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Nov 15 | Nov 18 | Nov 19 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Nov 20 |
| Week #11 graphs input: output: | Nov 21 Term test, 1:40–3:00 EX 200 Term test, 3:10–4:30 EX 200 | Nov 22 | Nov 25 | Nov 26 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Nov 27 |
| Week #12 cycles + trees input: output: Quiz 12 | Nov 28 Quiz 12 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Nov 29 | Dec 2 | Dec 3 L0101 Lecture 1:10–3:00, MP203 L0201 Lecture 3:10–5:00, MP203 | Dec 4 |