It might be too much to call this a real course. Here are notes and slides from four lectures I gave on Probabilistically Checkable Proofs at the Graduate Summer School on Computational Complexity, organized by the Park City Mathematical Institute and held at the Institute for Advanced Study, Princeton, NJ, July 16 - August 5, 2000.