Further reading
For the official course textbooks, see the Textbooks section of the course home page.
Use this section if you want more things to read. It contains some extra reading copied from the Faith Ellen's CSC240 site for Winter 2019 site.
Week 7 Week 8
Week 4
- An alternative to a proof presented in Week 4
- Corrected on January 28: fixed the n=2 case. If you're curious, here's the old version with the mistake.
- Proving the complete induction axiom using simple induction. Discussed in the Week 4 tutorial.
Videos
- A series of lectures on math proofs from another school, recommended by your TA Stephanie Knill if you're looking for a slow and thorough introduction to proofs.
Documents
These documents are mentioned in online lecture 6 (week 3).
You may need a password to access these files. The password is given out in the first lecture and on the course information sheet. If you've lost the password, just email the instructor (csc240-2020-01@cs.toronto.edu).
Satire:
Books
- How to Prove It, by Daniel J. Velleman
- Learning to Reason, by Nancy Rodgers
- How to Read and Do Proofs, by Daniel Solow
- How to Solve It, by G. Polya
- Introduction to Algorithms, by Tom Cormen, Charles Leiserson, Ron Rivest and Cliff Stein. This is available online through the UofT library using your UTORID here.