Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
In brief
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.