CSC165, Fall 2014

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:MondayTuesdayWednesdayThursdayFriday
Week #1

introduction, precision, quantifiers

annotated slides

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 11Sep 12

Lecture 11:10–noon, SS2102 (M), UC140 (WF)

Lecture noon–1:00 p.m., MP203

Week #2

verify/falsify, sentences, symbols

Tutorial #1 solution

annotated slides

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

Tutorial #2 solution

annotated slides

folding problem-solving

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

folding problem handout

Week #4

implication/disjunction, mixed quantifiers, proof

annotated slides

Tutorial #3 solution

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.

A1 sample solution

LaTeX source for assignment 1
Week #5

contradiction, existence, sequences

annotated slides

Tutorial #4 solution

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

solutions for this year's test, version A

solutions for this year's test, version B

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

annotated slides

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 16Oct 17

Lecture 11:10–noon, SS2102 (M), UC140 (WF)

Lecture noon–1:00 p.m., MP203

Week #7

sorting algorithm complexity, big-Oh

annotated slides

Tutorial #5 solution

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

Problem-solving handout

Week #8

counting steps, worst-case, formal big-Oh

annotated slides

Tutorial #6 solution

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

annotated slides

Tutorial #7 solution

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

LaTeX source for a2

Nov 4

Tutorial/quiz, 9:10–10:30, various rooms

Term test 6:10–7:00 p.m.

Lecture 7:10–9:00

test 2b sample solution

test 2c sample solution

Nov 5

Term test, 11:10–noon. EX 100

Term test, noon–1:00 p.m. BA1130 (surnames A-K) GB303 (surnames L-Z)

test 2a sample solution

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

annotated slides

Tutorial #8 solution

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

Friday's annotated slides

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 20Nov 21

Lecture 11:10–noon, SS2102 (M), UC140 (WF)

Lecture noon–1:00 p.m., MP203

Week #12

computability, review

annotated slides

Tutorial #9 solution

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.

Assignment 3 solution

Dec 2

Lecture 6:10–9:00, BA1130

Grading rubric for SLOGs