Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Speakers

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

Workspace

Saved Library
Study Notebook
About & Mission
Help & Feedback
RSS Feed
Sitemap

© 2026 Lectern·Independent Academic Archive·Made in NYC

Press ⌘K to search · ? for shortcuts

/

Academic Discipline

Algorithms & Theory

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

14courses·72standalone talks·340total lectures

Subfields

All Theory & Algos340 Algorithms & Data Structures153 Computational Complexity88 Cryptography43 Combinatorics & Graph Theory19 Formal Methods & Type Theory13 Category Theory, Topos Theory & Set Foundations11 Programming Languages7 Algorithmic Information & Coding Theory1 Systems Security1

Computational Complexity— Complexity classes, P vs NP, reductions, Turing machines, circuit complexity, and PCP theorems.

12 topics

All Computational Complexity P vs NP & NP-Completeness34 Circuit & Space Complexity32 Turing Machines & Decidability28 Theory of Computation8 Complexity Theory4 Cook-Levin Theorem3 Permanent3 #P Complexity2 Boolean Circuits2 Course Introduction2 Exponential Time Hypothesis2 Finite Automata2

jknavigate↵watchcchaptersssavexwatched

Save

The Immerman-Szelepcsényi Theorem

The Immerman-Szelepcsényi Theorem

Undergraduate Complexity Theory · Lec 20·Nondeterministic Space · Ryan O'Donnell · Carnegie Mellon University

Carnegie Mellon University

—

1:21:05

More categories

Systems & CS (447)Mathematics (434)Physics & Cosmology (414)AI & Machine Learning (215)History & Humanities (377)Philosophy & Ethics (265)Biology & Neuroscience (281)Economics & Finance (336)Engineering & Robotics (213)

Nondeterministic Space · Computational Complexity

1