回答:
どちらGoldreichの複雑さの教科書とアローラとバラクの複雑さの教科書は、（写真付き！）PCP定理の証明を説明するに専念章を持っています。
また、Dinurの論文は、まだ取り組んでいないのであれば読む価値があります。私の意見では、少なくとも元の証明よりも親しみやすく、最初の12ページだけをスキミングすることで証明の仕組みを理解することができます（そして、このペーパーの後半部分に含まれる技術的証明を詳しく調べます） 、必要に応じて）。
2008年、Irit Dinurと私は、代数的証明と組み合わせ証明を含め、WeizmannでPCPのコースを教えました。手書きの講義ノートはほとんどのクラスで利用できます：http : //people.csail.mit.edu/dmoshkov/courses/pcp/index.html
この学期、MITでPCPコースを教えています。このコースには、古いコースの内容、並列反復のより包括的な処理、ユニークなゲーム予想、および低エラー構成と最適性などの最近の結果（2008-2009年）が含まれていますUnique Games Conjectureを想定した制約充足問題のための半正定値計画法。また、エラー修正コード、エキスパンダー、情報理論、およびフーリエ解析を教えることに専念しています。
これはコースのウェブサイトです：http : //stellar.mit.edu/S/course/6/fa10/6.895/
メモはここから入手できます：http : //people.csail.mit.edu/dmoshkov/courses/pcp-mit/index.html
Dinurの論文（Daniel Aponの回答にリンク）はよく書かれており、読む価値があります。また、この論文とその証明についての詳細な議論が発表されました。これは、論文自体を読むときに役立ちます：Jaikumar RadhakrishnanとMadhu Sudan、On DinurのProof of the PCP Theorem、Bull。アメル。数学。Soc。44（2007）、19-61（preprint）。
グルスワミ＆オドネルコース（UW、2005）の講義ノートは非常に有用であることがわかりました。
非常に高レベルのビューのために、私は数日前からティム・ガワーのブログ投稿が本当に好きでした：
http://gowers.wordpress.com/2010/08/30/icm2010-avila-dinur-plenary-lectures/
エラー修正コードへの接続と近似不能への接続を「取得」するのに本当に役立ちました。
1年前、PCPの定理とアプリケーションに関する素晴らしいチュートリアルがありました。彼らの講義ノートは役立つはずです：近似アルゴリズムの制限：PCPとユニークなゲーム（DIMACSチュートリアル講義ノート）
PCP定理の元の（および長い）証明については、要約としてスーダンのノートと、証明を詳細に説明するFeigeの講義ノートをお勧めします。
また、他の資料および有用な議論については、Fortnowの投稿を参照してください。
私には特に良いと思われる2つのソースがあります。1つは、上記の誰かが示唆したように、VenkatとRyanの講義ノートです。
もう1つの役立つ情報源は、Luca Trevisanによるこれらの講義ノートです。
現在、このコースは、ジョージア工科大学でPrasad Raghvendraによって提供されています。悲しいことに、ページはまだアップされていません。
これにより、Subhash Khotによる別のソースが表示されます。Googleで検索してください。それらを見つけることができるはずです。
（個人的には、Khotのメモも調べていませんが、GaTechでもこのコースを1回教えたことを思い出しただけです）
私の推薦：
1- Irit Dinurによる確率的に確認可能な証明とコード
2- Madhu Sudanによる確率的に確認可能な証明
3- Goldreich本の第9章：計算の複雑さ、概念的な視点
1- Irit Dinur によるギャップ増幅によるPCP定理
2- jainmar RadhakrishnanとMadhu SudanによるDinur のPCP定理の証明について
3- Arora and barak bookの第22章：計算の複雑さ現代のアプローチ
4- 近接の堅牢なPCPおよび Prahladh Harshaによるより短いPCP（PCP theroremの最初の証明をカバー）