6.042 Mathematics for Computer Science


Class Info

Elementary discrete mathematics for computer science and engineering. Emphasis on mathematical definitions and proofs as well as on applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics include recursive definition and structural induction, state machines and invariants, integer congruences, recurrences, generating functions.

This class has 18.01 as a prerequisite.

6.042 will be offered this semester (Spring 2018). It is instructed by F. T. Leighton, A. R. Meyer and A. Moitra.

Lecture occurs 1:00 PM to 2:30 PM on Mondays, Wednesdays and Fridays in 32-044.

This class counts for a total of 12 credits.

You can find more information at the http://www.google.com/search?&q=MIT+%2B+6.042&btnG=Google+Search&inurl=https site or on the 6.042 Stellar site.

MIT 6.042 Mathematics for Computer Science Related Textbooks

© Copyright 2015