Mathematics for Computer Science - Spring 2024

Mathematics for Computer Science - Spring 2024

MIT OpenCourseWare via YouTube Direct link

Lecture 1: Predicates, Sets, and Proofs

1 of 24

1 of 24

Lecture 1: Predicates, Sets, and Proofs

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Mathematics for Computer Science - Spring 2024

Automatically move to the next video in the Classroom when playback concludes

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

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.