6.042J · Lec 14 · Tom Leighton · MIT
1:22:46
Algorithms & Theory
Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
All Theory & AlgosAlgorithms & Data Structures (203)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (24)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)
Showing 5 of 5 lectures
Lecturej/k navigate · c chapters · s save · x watched
Scholar · University
Chapters · Duration
6.172 · Lec 8 · Charles Leiserson & Julian Shun · MIT
1:17:34
6.046J · Lec 2 · Erik Demaine & Srini Devadas · MIT
1:20:34
6.046J · Lec 3 · Erik Demaine & Srini Devadas · MIT
53:46
6.006 · Lec 11 · Srini Devadas · MIT
47:24