Algorithms & Theory

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

13 courses · 64 standalone talks · 369 lectures

All Theory & Algos Algorithms & Data Structures (202)Computational Complexity (88)Cryptography (41)Probability & Information Theory (27)Neuroscience & Cognition (26)Calculus & Analysis (25)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

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

Scholar · University

Chapters · Duration

The Fourier Expansion and Basic Formulas

The Fourier Expansion and Basic Formulas

15-859 · Lec 1 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:11:25

Linial-Mansour-Nisan Theorems

Linial-Mansour-Nisan Theorems

15-859 · Lec 8 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:14:53

Level-1 Inequality and the 2/π Theorem

Level-1 Inequality and the 2/π Theorem

15-859 · Lec 11 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:19:16

More categories

Systems & CS (498)Mathematics (536)Physics & Cosmology (369)AI & Machine Learning (276)History & Humanities (366)Philosophy & Ethics (282)Biology & Neuroscience (333)Economics & Finance (324)Engineering & Robotics (332)