MIT 6.1200J Mathematics for Computer Science, Spring 2024

Instructor: Zachary Abel, Brynmor Chapman, Erik Demaine View the complete course: ocw.mit.edu/courses/6-1200j-mathematics-for-comput… YouTube Playlist: youtube.com/playlist?list=PLUl4u3cNGP61VNvICqk2HXJ… 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. License: Creative Commons BY-NC-SA More information at ocw.mit.edu/terms More courses at ocw.mit.edu Support OCW at ow.ly/a1If50zVRlQ We encourage constructive comments and discussion on OCW’s YouTube and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at ocw.mit.edu/comments.