章間リンクマップ

各章の前後関係、演習、確認先を一覧する。

章	区分	前	次	演習
第1章 集合と論理	Core	-	第2章	Core演習
第2章 関数と関係	Core	第1章	第3章	Core演習
第3章 証明技法	Core	第2章	第4章	Core演習
第4章 漸近記法	Core	第3章	第5章	Core演習
第5章 擬似コードと再帰	Core	第4章	第6章	Core演習
第6章 グラフと木	Standard	第5章	第7章	Standard演習
第7章 組合せと数え上げ	Standard	第6章	第8章	Standard演習
第8章 データ構造と基本アルゴリズム	Standard	第7章	第9章	Standard演習
第9章 形式言語の入口	Standard	第8章	第10章	Standard演習
第10章 確率の基礎	Extended	第9章	第11章	Extended演習
第11章 数論・代数の基礎	Extended	第10章	第12章	Extended演習
第12章 線形代数の最小限	Extended	第11章	第13章	Extended演習
第13章 並行性と形式モデルの入口	Extended	第12章	readiness	Extended演習

依存関係の要点

• 第1〜5章は Core。定義・証明・計算量・擬似コードの読解基盤である。
• 第6〜9章は Standard。グラフ、数え上げ、データ構造、形式言語の入口である。
• 第10〜13章は Extended。情報理論、暗号、線形符号、並行計算の前提である。
• 本体教科書の特定章だけを読む場合は、本体教科書からの逆引き を優先する。