Logical Equivalence

26:07
Voting Theory

21:58
Group theory, abstraction, and the 196,883-dimensional monster

3:16
Contradiction

16:29
The Plurality Method

19:44
Biggest Puzzle in Computer Science: P vs. NP

34:36
Olympiad level counting (Generating functions)

43:22
Lecture 1: Introduction to Power Electronics

23:01