6.1200J / 18.062J Mathematics for Computer Science
Repeats every week every Tuesday and every Thursday until Tue May 12 2026 except Tue Feb 17 2026, Tue Mar 24 2026, Thu Mar 26 2026.
Tue, 02/03/2026 - 2:30pm to 4:00pmLocation:
26-100
Instructor:
Zachary Abel, Jonathan Kelner, Anand Natarajan
Elementary discrete mathematics for science and engineering, with a focus on mathematical tools and proof techniques useful in computer science. Topics include logical notation, sets, relations, elementary graph theory, state machines and invariants, induction and proofs by contradiction, recurrences, asymptotic notation, elementary analysis of algorithms, elementary number theory and cryptography, permutations and combinations, counting tools, and discrete probability.