6.1200J / 18.062J Mathematics for Computer Science

Repeats every week every Tuesday and every Thursday until Tue Dec 09 2025 except Tue Nov 11 2025, Thu Nov 27 2025.
Thu, 09/04/2025 - 2:30pm to 4:00pm
Location: 
26-100
Instructor: 
Zachary Abel, Erik Demaine, Ronitt Rubinfeld

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.