6.1200J/18.062J Mathematics for Computer Science

Repeats every week every Tuesday and every Thursday until Tue May 13 2025 except Tue Feb 18 2025, Tue Mar 25 2025, Thu Mar 27 2025.
Tue, 02/04/2025 - 2:30pm to 4:00pm
Location: 
26-100
Instructor: 
Zachary Abel, Ronitt Rubinfeld, Vinod Vaikuntanathan

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.