husayn gokal
Sharjah

MITEECS6.042

Mathematics for Computer Science (alt year)

planned·~168 hours total

Professors

  • Tom Leighton
  • Marten van Dijk

Textbook

  • Mathematics for Computer Science

    Eric Lehman, F. Thomson Leighton, Albert R. Meyer · free copy

Materials

Earlier version of 6.042J — Leighton's lectures. Some prefer this version's lecturing style. Same syllabus.

Syllabus

  1. Week 1

    Proofs; well-ordering principle

  2. Week 2

    Propositional and first-order logic

  3. Week 3

    Sets, relations, functions

  4. Week 4

    Induction; strong induction; recursion

  5. Week 5

    Number theory; modular arithmetic; RSA

  6. Week 6

    Graph theory — connectivity, trees

  7. Week 7

    Graph colouring; matching

  8. Week 8

    Counting; permutations and combinations

  9. Week 9

    Generating functions; recurrences

  10. Week 10

    Discrete probability

  11. Week 11

    Random variables; expectation; variance

  12. Week 12

    Markov chains; random walks