内容

目次

第1章　命題論理 1.1　命題 1.2　論理式 1.3　論理式の真偽 1.4　論理式の標準形 第2章　集合の基礎 2.1　集合の要素と記法 2.2　集合の種類 2.3　集合どうしの関係 2.4　集合どうしの演算 2.5　論理と集合 第3章　帰納的定義と証明技法 3.1　数学的帰納法 3.2　構造帰納法 3.3　文字列に関する構造帰納法 3.4　対偶 3.5　背理法 第4章　数え上げの基礎 4.1　和と積の法則 4.2　順列 4.3　置換 4.4　組合せ 4.5　2　項定理 4.6　鳩の巣原理 4.7　包含と排除の原理 4.8　母関数 第5章　関係 5.1　関係の基礎 5.2　関係の表し方 5.3　関係の演算 5.4　関係の性質 5.5　同値関係 第6章　関数の基礎 6.1　関数 6.2　関数の分類 6.3　関数の合成 6.4　関係や置換と関数 6.5　再帰関数 第7章　グラフの基礎 7.1　無向グラフ 7.2　グラフの連結性 7.3　有向グラフ 7.4　グラフの行列表現 第8章　木と探索 8.1　木の種類 8.2　2分木とその探索 8.3　全域木と最小全域木 8.4　順序根付き木 第9章　ネットワークと各種グラフ問題 9.1　ネットワークとその問題 9.2　最短経路問題とその解法 9.3　マッチング問題 9.4　平面的グラフ 9.5　彩色問題 9.6　グラフの強連結成分への分解 9.7　プログラムのグラフによる解析 付録A　行列の基礎 付録B　Pythonによる行列計算 問・章末問題の解答例 参考文献 索　引