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 Wednesdays, 2–4 pm, in BA4270. Larry's office hours are Thursdays 4–6 pm, in BA4262.
You are responsible for making sure you have the necessary prerequisites for this course.
Week: | Monday | Tuesday | Wednesday | Thursday | Friday |
Week #1 introduction, precision, quantifiers | Sep 8 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Sep 9 Lecture 6:10–9:00, BA1130 | Sep 10 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Sep 11 | Sep 12 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #2 verify/falsify, sentences, symbols | Sep 15 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Sep 16 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Sep 17 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Sep 18 Tutorial/quiz, 7:10–8:30, various rooms | Sep 19 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 SLOG begins. Be sure to include a paragraph on topics from this week or last. Submit your SLOG URL. |
Week #3 conjunction, disjunction, negation, implication | Sep 22 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Sep 23 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Sep 24 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Sep 25 Tutorial/quiz, 7:10–8:30, various rooms | Sep 26 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #4 implication/disjunction, mixed quantifiers, proof | Sep 29 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Sep 30 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Oct 1 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Oct 2 Tutorial/quiz, 7:10–8:30, various rooms | Oct 3 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Assignment 1, due 10:00 p.m. LaTeX source for assignment 1 |
Week #5 contradiction, existence, sequences | Oct 6 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Oct 7 Tutorial/quiz, 9:10–10:30, various rooms Term test 6:10–7:00 p.m. Lecture 7:10–9:00 | Oct 8 Term test, 11:10–noon. EX 200 Term test, noon–1:00 p.m. EX 310 (surnames A-K) EX320 (surnames L-Z) solutions to this year's test | Oct 9 Tutorial/quiz, 7:10–8:30, various rooms | Oct 10 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #6 cases, multiple quantifiers, limits | Oct 13 Thanksgiving—university closed | Oct 14 Lecture 6:10–9:00, BA1130 | Oct 15 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Oct 16 | Oct 17 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #7 sorting algorithm complexity, big-Oh | Oct 20 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Oct 21 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Oct 22 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Oct 23 Tutorial/quiz, 7:10–8:30, various rooms | Oct 24 |
Week #8 counting steps, worst-case, formal big-Oh | Oct 27 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Oct 28 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Oct 29 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Oct 30 Tutorial/quiz, 7:10–8:30, various rooms | Oct 31 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #9 big-Oh of polynomials, non-polynomials, limits | Nov 3 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms Assignment 2, due 10:00 p.m. Assignment 2 sample solution | Nov 4 Tutorial/quiz, 9:10–10:30, various rooms Term test 6:10–7:00 p.m. Lecture 7:10–9:00 | Nov 5 Term test, 11:10–noon. EX 100 Term test, noon–1:00 p.m. BA1130 (surnames A-K) GB303 (surnames L-Z) | Nov 6 Tutorial/quiz, 7:10–8:30, various rooms | Nov 7 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #10 big-Omega, big-Theta, general properties | Nov 10 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Nov 11 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Nov 12 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Nov 13 Tutorial/quiz, 7:10–8:30, various rooms | Nov 14 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #11 halting problem, computability | Nov 17 Brief Fall break—no classes | Nov 18 Brief Fall break—no classes | Nov 19 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Nov 20 | Nov 21 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Week #12 computability, review | Nov 24 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Tutorial/quiz, 7:10–8:30, various rooms | Nov 25 Tutorial/quiz, 9:10–10:30, various rooms Lecture 6:10–9:00, BA1130 | Nov 26 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 | Nov 27 Tutorial/quiz, 9:10–10:30, various rooms | Nov 28 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 |
Virtual week calendar madness | Dec 1 Lecture 11:10–noon, SS2102 (M), UC140 (WF) Lecture noon–1:00 p.m., MP203 Assignment 3, due 10:00 p.m. | Dec 2 Lecture 6:10–9:00, BA1130 |