6.042 course logo. (Image by Will Drevo. Used with permission.)
Prof. Tom Leighton
Dr. Marten van Dijk
6.042J / 18.062J
Fall 2010
Undergraduate
This course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.
OCW has published multiple versions of this subject. ![]()
Tom Leighton, and Marten Dijk. 6.042J Mathematics for Computer Science, Fall 2010. (Massachusetts Institute of Technology: MIT OpenCourseWare), http://ocw.mit.edu (Accessed). License: Creative Commons BY-NC-SA
For more information about using these materials and the Creative Commons license, see our Terms of Use.