Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 77 standalone talks · 370 total lectures

All Theory & Algos Algorithms & 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 7 of 7 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

5. CF Pumping Lemma, Turing Machines

5. CF Pumping Lemma, Turing Machines

18.404J · Lec 5 · Michael Sipser · MIT

Michael Sipser MIT

1:13:59

8. Undecidability

8. Undecidability

18.404J · Lec 8 · Michael Sipser · MIT

Michael Sipser MIT

1:17:02

6. TM Variants, Church-Turing Thesis

6. TM Variants, Church-Turing Thesis

18.404J · Lec 6 · Michael Sipser · MIT

Michael Sipser MIT

1:14:49

Lecture 2: Turing Machines (15-455)

Lecture 2: Turing Machines (15-455)

15-455 · Lec 2 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:19:47

Lecture 9: Reducibility (18.404J)

Lecture 9: Reducibility (18.404J)

18.404J · Lec 9 · Michael Sipser · MIT

Michael Sipser MIT

1:16:37

Lecture 6a: Computational Models: Turing Machines (15-750)

Lecture 6a: Computational Models: Turing Machines (15-750)

15-750 · Lec 16 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

25:31

Lecture 3: Hopcroft--Paul--Valiant Theorem (15-855)

Lecture 3: Hopcroft--Paul--Valiant Theorem (15-855)

15-855 · Lec 3 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:20:29

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)