Maths foundations
Mathematical proof
Direct proof, contradiction and induction, plus the habit of writing precise definitions.
About 20 hours of study.
Where to learn it
Read
Mathematics for Computer Science (MIT 6.042J)
Eric Lehman, Tom Leighton, Albert Meyer
Part I: Proofs
The course text is a free PDF on the course page.
Section not checked yet
Watch
Mathematics for Computer Science, video lectures (MIT 6.042J, Fall 2010)
Tom Leighton, Marten van Dijk
Lectures 1–3: proofs, induction, strong induction
Practise
6.042J problem sets (Fall 2010)
Tom Leighton, Marten van Dijk
Problem sets 1–2, on proofs and induction
Wrong chapter, dead link, or know something better? Tell us on GitHub.