Lectures
Each week has a set of lecture videos and their associated notes. These assume that you have already done the posted reading assignment from the textbook. So they do not walk through basic definitions but, rather, concentrate on aspects of the topic that you probably didn't fully understand after doing the readings. (The first-week videos are more comprehensive because we are just getting started.)
If you miss a Tuesday in-person lecture discusison, you can find recordings on Media Space.
Tutorials
Many of our tutorial problems will be taken from this manual of discussion problems. Additional problems will be posted below, as needed. Answers to tutorial problems will be posted in the evenings after tutorial.
You will work with the people sitting near you; feel free to sit near the same people each week or to move around and meet new people.
Additional study problems
We encourage you to do the additional study problems listed below. You should write up a solution to each problem on your own, as if you were taking an exam or turning in a graded homework, before checking your answers against the posted solutions. Writing up the answers is important, since it forces you to work through the details and practice composing a polished proof.
Additional practice problems, sample exams, etc may be found on the web pages for previous offerings of this course. There are differences from term to term and online exams are obviously a bit different from paper ones, but you'll find that the basic techniques and concepts are similar.
The last column includes some demo solutions to some past examlet problems. The content in this column is optional, and aims to help you see sample solutions to problems, as well as how to write a clean and rigorous proof. Videos in this column will be added gradually during the semester. For each demo, like any other practice problem, you are encouraged to solve the problem first before watching the solution.