Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

MIT OpenCourseWare

Mathematics for Computer Science - Spring 2024

MIT OpenCourseWare via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Master elementary discrete mathematics essential for computer science through this comprehensive course covering logical notation, sets, relations, graph theory, state machines, induction, proof techniques, recurrences, asymptotic analysis, number theory, cryptography, combinatorics, and probability theory. Explore fundamental mathematical tools and proof methods including contradiction, strong induction, and casework while developing skills in algorithm analysis and discrete probability. Learn to work with predicates, sets, and various proof techniques before progressing to state machines and invariants. Study summation techniques, asymptotic notation, and recurrence relations to analyze algorithmic complexity. Delve into number theory concepts including divisibility, modular arithmetic, and cryptographic applications. Examine graph theory topics such as coloring, matching, connectivity, trees, directed graphs, and DAGs. Build counting skills through permutations, combinations, and advanced counting techniques. Conclude with probability theory covering conditional probability, independence, random variables, expectation, variance, and large deviation bounds including Chebyshev and Chernoff bounds.

Syllabus

Lecture 1: Predicates, Sets, and Proofs
Lecture 2: Contradiction and Induction
Lecture 3: Casework and Strong Induction
Lecture 4: State Machines
Lecture 5: Sums
Lecture 6: Asymptotics
Lecture 7: Recurrences
Lecture 8: Divisibility
Lecture 9: Modular Arithmetic
Lecture 10: Cryptography
Lecture 11: Graphs and Coloring
Lecture 12: Matching
Lecture 13: Connectivity and Trees
Lecture 14: Digraphs and DAGs
Lecture 15: Relations and Counting
Lecture 16: Counting Techniques
Lecture 17: More Counting Techniques
Lecture 18: Probability
Lecture 19: Conditional Probability
Lecture 20: Independence
Lecture 21: Random Variables
Lecture 22: Expectation
Lecture 23: Expectation and Variance
Lecture 24: Large Deviations: Chebyshev and Chernov Bound, Wrap Up

Taught by

MIT OpenCourseWare

Reviews

Start your review of Mathematics for Computer Science - Spring 2024

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.