6.1200J / 18.062J Mathematics for Computer Science

Repeats every week every Tuesday and every Thursday until Tue Dec 10 2024 except Tue Oct 15 2024, Thu Nov 28 2024.
Thu, 09/05/2024 - 2:30pm to 4:00pm
Location: 
26-100
Instructor: 
Tom Leighton, Zachary Abel

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.