Mathematics for Computer Science

Overview

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.

Syllabus

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 2 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 4 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 5 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 6 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 7 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 8 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 9 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 10 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 11 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 12 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 13 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 14 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 15 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 16 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 17 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 18 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 19 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 20 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 21 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 22 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 23 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 24 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 25 | MIT 6.042J Mathematics for Computer Science, Fall 2010.