
Course6.1200J / 18.062J24 lectures
Mathematics for Computer Science
Prof. Erik Demaine, Dr. Zachary Abel and Dr. Brynmor Chapman · Massachusetts Institute of Technology
About
This course covers 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.
Lectures
Lecture Videos
- 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
Syllabus and materials
At MIT OpenCourseWare, as the course publishes them.
Credits and licence
- Institution
- Massachusetts Institute of Technology
- Department
- Electrical Engineering and Computer Science; Mathematics
- Taught by
- Prof. Erik Demaine, Dr. Zachary Abel, Dr. Brynmor Chapman
- Term
- Spring 2024
- Level
- Undergraduate
- Language
- English
- Subjects
- Mathematics, Computer science, Engineering
- Source
- MIT OpenCourseWare
- Licence
- CC BY-NC-SA 4.0, as MIT OpenCourseWare states it. Non-commercial use only. MIT OpenCourseWare's terms
- Attribution
- Prof. Erik Demaine, Dr. Zachary Abel, Dr. Brynmor Chapman. Mathematics for Computer Science. Spring 2024. Massachusetts Institute of Technology: MIT OpenCourseWare, https://ocw.mit.edu/. License: Creative Commons BY-NC-SA.
- Who can watch
- MIT OpenCourseWare gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed
More like this
Course
The Analytics Edge
35 lectures · Video
Course
Single Variable Calculus
35 lectures · Video
Course
Multivariable Calculus
35 lectures · Video
Course
Matrix Methods in Data Analysis, Signal Processing, and Machine Learning
34 lectures · Video
Course
Linear Algebra
35 lectures · Video
Course
Linear Algebra
158 lectures · Video
Course
Computational Science and Engineering I
50 lectures · Video
Course
Engineering Dynamics
223 lectures · Video
Course
Becoming the Next Bill Nye: Writing and Hosting the Educational Show
132 lectures · Video
Course
Introduction to Nuclear Engineering and Ionizing Radiation
34 lectures · Video
Course
Thermodynamics of Materials
38 lectures · Video
Course
Introduction to Solid-State Chemistry
38 lectures · Video