Skip to content

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.