概念依存マップ

このページは、第1〜13章を目次順ではなく、どの概念がどの概念の前提になるかで俯瞰するための地図です。矢印 A → B は「Bを読むときにAを使う」を表します。すべての矢印を必修順序とみなすのではなく、読んでいて詰まったときに戻る上流概念として使ってください。

地図の読み方

以下のテキスト図では、複数の章を + で結んだ場合、その組み合わせが接続先の主要な前提であることを示します。この図と後続の章対応表だけで同じ依存関係を読めるため、MermaidやJavaScriptを実行できない環境でも情報は失われません。

Core
  第1章 集合と論理 ──→ 第2章 関数と関係 ──→ 第3章 証明技法
          └──────────────────────────────→ 第3章 証明技法
  第3章 証明技法 ──→ 第4章 漸近記法 ──→ 第5章 擬似コードと再帰
          └──────────────────────────────→ 第5章 擬似コードと再帰

Standard
  第2章 + 第5章 ───────────→ 第6章 グラフと木
  第1章 + 第3章 ───────────→ 第7章 組合せと数え上げ
  第4章 + 第5章 + 第6章 ──→ 第8章 データ構造と基本アルゴリズム
  第1章 + 第2章 + 第3章 + 第6章 ──→ 第9章 形式言語の入口

Extended
  第1章 + 第7章 ───────────→ 第10章 確率の基礎
  第1章 + 第2章 + 第3章 ──→ 第11章 数論・代数の基礎
  第2章 + 第11章 ──────────→ 第12章 線形代数の最小限
  第2章 + 第3章 + 第6章 + 第9章 ──→ 第13章 並行性と形式モデルの入口
  第12章 ──→ 第13章のPetriネットと接続行列

概念と章の対応表

「直接の前提」は、その章で詰まったときに最初に戻る候補です。「主な接続先」は、その概念が後続で再利用される代表例であり、すべての弱い関連を列挙したものではありません。

地図から選ぶ代表ルート

診断結果、得点、学習目的から正式な学習順序を決める場合は、学習ルートを使ってください。

関連ページとの責務分担

使い方

1. 読みたい章を「概念と章の対応表」で探す。
2. 「直接の前提」を説明できなければ、リンク先の章へ戻る。
3. 戻る章を症状から選びたい場合は、概念別逆引きを使う。
4. 読む範囲が決まったら、学習ルートと章間リンクマップで順序と演習を決める。
5. 本体教科書へ進むときは、本体教科書からの逆引きで必要範囲を再確認する。本教材側から対応先を確認したい場合は、本体教科書との対応表を使う。