ocw.mit.edu
Unknown
MIT OpenCourseWare (OCW) is a free, openly accessible library of MIT course materials. It provides lecture notes, assignments, exams, and often video lectures from a wide range of courses—useful for self-guided study of topics like proof techniques.
More resources on Proof Techniques
Introduction to Mathematical Thinking
Learn how to think the way mathematicians do – a powerful cognitive process developed over thousands of years. Mathematical thinking is not the same as doing mathematics – at least not as mathematics is typically presented in our school system. School math typically focuses on learning procedures to solve highly stereotyped problems. Professional mathematicians think a certain way to solve real problems, problems that can arise from the everyday world, or from science, or from within mathematics itself. The key to success in school math is to learn to think inside-the-box. In contrast, a key feature of mathematical thinking is thinking outside-the-box – a valuable ability in today’s world. This course helps to develop that crucial way of thinking.
Visual Proofs Playlist
YouTube playlist linked in r/math
ProofWiki
Encyclopedia of proofs and techniques
Book of Proof (Free PDF)
Complete free textbook on proof techniques
Mathematics for Computer Science
Learn proof techniques crucial for computer science with this course by Tom Leighton. Master mathematical reasoning skills!
Introduction to Proofs
Learn fundamental proof techniques with Dr. Trefor Bazett! This course covers mathematical proofs and logic.