Additional resources
The millennium prize problems You can also check the book "The Millennium problems: the seven greatest unsolved mathematical puzzles of our time" by K. Devlin. Math stacks QA93 .D485 2002
Proof writing tips.
Chapters 1 and 2
Handout on how to negate a statement
Slides on number of rows of a truth table
Two proofs by induction
Review of induction
Slide on Fibonacci's numbers