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/Tuesday/Wednesday, 4–5 pm, in BA2230.
You are responsible for making sure you have the necessary prerequisites for this course.
Week: | Monday | Tuesday | Wednesday | Thursday | Friday |
Week #0 introduction / sets / functions input: Prologue, Mathematical expression: Sets, Functions, Summation/Product notation, Inequalities, Propositional logic output: Problem Set 0 handout | Sep 4 | Sep 5 | Sep 6 | Sep 7 L0101 Lecture 1:10–2:00, PB B150 L0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 week 0 annotated slides | Sep 8 |
Week #1 quantifiers / negation / subformulas input: Mathematical expression: predicate logic, writing sentences, defining predicates, our conventions output: | Sep 11 | Sep 12 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 annotated slidessample solutions | Sep 13 | Sep 14 L0101 Lecture 1:10–2:00, PB B150 annotated slidesL0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 annotated slides | Sep 15 |
Week #2 proofs / statements / divisibility input: Course notes pages 31--51. output: Problem Set 1 handout | Sep 18 | Sep 19 L0101 Lecture 1:10–2:00, WB 116 annotated slidesL0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 sample worksheet solutionssample tutorial solutions | Sep 20 Problem set 0 Submit by 10 p.m. on MarkUs sample solution | Sep 21 L0101 Lecture 1:10–2:00, PB B150 annotated slidesL0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 annotated slidessample solutions | Sep 22 |
Week #3 disproof / contrapositive / primes input: course notes pages 50--60 output: | Sep 25 | Sep 26 L0101 Lecture 1:10–2:00, WB 116 annotated slidesL0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 sample solution | Sep 27 | Sep 28 L0101 Lecture 1:10–2:00, PB B150 annotated slidesL0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 annotated slidessample solutions | Sep 29 |
Week #4 contradiction / linear combinations input: course notes pages 60--65 output: | Oct 2 | Oct 3 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 annotated slidessample solutions | Oct 4 Problem set 1 Submit by 10 p.m. on MarkUs | Oct 5 L0101 Lecture 1:10–2:00, PB B150 annotated slidesL0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 annotated slides | Oct 6 |
Week #5 more contradiction / induction input: course notes pages 66--73 output: | Oct 9 Thanksgiving, university closed | Oct 10 L0101 Lecture 1:10–2:00, WB 116 midterm L0101: 3:00-4:00 surnames A--L: EX310 surnames M--Z: EX320 midterm L5101: 6:00-7:00 surnames A--L: FG103 surnames M--Z: HA403 winter 2017 test | Oct 11 | Oct 12 L0101 Lecture 1:10–2:00, PB B150 annotated slidesL0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Oct 13 |
Week #6 different starting points / dual universals input: course notes pages 74--92, just browse number representation. output: | Oct 16 | Oct 17 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 | Oct 18 | Oct 19 L0101 Lecture 1:10–2:00, PB B150 L0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Oct 20 |
Week #7 introduction to algorithm analysis input: reading: notes pages 93--101 output: | Oct 23 | Oct 24 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 | Oct 25 Problem set 2 Submit by 10 p.m. on MarkUs | Oct 26 L0101 Lecture 1:10–2:00, PB B150 L0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Oct 27 |
Week #8 loops input: output: | Oct 30 | Oct 31 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 | Nov 1 | Nov 2 L0101 Lecture 1:10–2:00, PB B150 L0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Nov 3 |
Reading Week Enjoy your break! | Nov 6 | Nov 7 no class or problem-solving | Nov 8 | Nov 9 no class or problem-solving | Nov 10 |
Week #9 worst-case, average-case input: course notes, 108--112, graphs 113--118 output: | Nov 13 | Nov 14 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 | Nov 15 problem set #3 due 10 p.m. on MarkUs | Nov 16 L0101 Lecture 1:10–2:00, PB B150 L0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Nov 17 |
Week #10 more average case, graphs input :course notes 118--128 output: | Nov 20 | Nov 21 L0101 Lecture 1:10–2:00, WB 116 L0101 Tutorial 2:10–3:00, PB B250 L5101 Tutorial 6:10–7:00, FG 103 | Nov 22 | Nov 23 L0101 Lecture 1:10–2:00, PB B150 L0101 Practice 2:10–3:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Practice 7:10–8:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Nov 24 |
Week #11 graphs input: course notes 128--132 output: | Nov 27 | Nov 28 L0101 Lecture 1:10–2:00, WB 116 midterm L0101: 3:00-4:00 surnames A--L: EX310 surnames M--Z: EX320 midterm L5101: 6:00-7:00 surnames A--L: UC266 surnames M--Z: UC273 winter 2017 second test | Nov 29 | Nov 30 L0101 Lecture 1:10–2:00, PB B150 L5101 Lecture 6:10–7:00, FG 103 L5101 Lecture 8:10–9:00, FG 103 | Dec 1 |
Week #12 cycles + trees input: output: | Dec 4 | Dec 5 L0101 Lecture 1:10–2:00, WB 116 | Dec 6 problem set #4 due 10 p.m. on MarkUs | Dec 7 | Dec 8 |