Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010

414,242 views

Why it's on BrighterTube

Hand-picked by a BrighterTube curator · found via Developer-Y/cs-video-courses · 88% confidence

Teaches strong induction and invariants, with the 15-puzzle as a worked example. Tom Leighton and Marten van Dijk's 6.042J is the standard MIT course on discrete maths for computer scientists; topics follow the OCW syllabus because the upload titles carry only lecture numbers.

What you'll learn

MIT 6.042J, lecture 3: Strong induction and invariants, with the 15-puzzle as a worked example.

Science & Math Programming & CS Lectures

Video by MIT OpenCourseWare, played through YouTube's embedded player.

Part of MIT 6.042J Mathematics for Computer Science, Fall 2010