Turing Machines (and review)
Introduction to Complexity Theory
The Cook-Levin Theorem
P, NP, and Beyond
The last page of the proof of Stockmeyer's Theorem
Lunar Lockout
Logarithmic Space
The Space Hierarchy Theorem and Borodin's Gap Theorem
Relativization
Interactive Proofs and the class IP