HackerTube / Video
Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
MIT OpenCourseWare
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.
HN users recommend it as a good discrete math course for programmers, praising Leighton's relatable stories that motivate new concepts.
3 Hacker News mentions · 2017–2018