MIT OpenCourseWare
Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
About this video
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.
