MIT 6.042J Lecture 1: Mathematical Proofs
MIT OpenCourseWare · Lecture · YouTube title: Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
Why it's here
HN users recommend it as a good discrete math course for programmers, praising Leighton's relatable stories that motivate new concepts.
What it covers
The first lecture of MIT 6.042J Mathematics for Computer Science, taught by Tom Leighton, introducing mathematical proofs. It covers propositions, implication and basic proof methods.