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
The proof and induction lectures at the start
Section not checked yet
Practise
No practice set picked yet.
Suggest one