| 第1部 問題解決のための数学 |
| 第1章 論理と集合の基礎 |
| 1.1 命題 6 |
| 1.1.1 命題と複合命題 6 |
| 1.1.2 連言:かつ 7 |
| 1.1.3 選言:または 7 |
| 1.1.4 否定 7 |
| 1.2 真理表 8 |
| 1.2.1 トートロジーと矛盾 9 |
| 1.2.2 論理的等価 10 |
| 1.3 命題論理 11 |
| 1.3.1 命題の代数 11 |
| 1.3.2 条件付き命題 11 |
| 1.4 述語論理 13 |
| 1.4.1 全称命題と存在命題 13 |
| 1.4.2 述語 15 |
| 1.4.3 述語の生成 15 |
| 1.5 証明の方法 16 |
| 1.5.1 前進後退法 16 |
| 1.5.2 構成法 17 |
| 1.5.3 対偶法 18 |
| 1.5.4 背理法 18 |
| 1.5.5 数学的帰納法 19 |
| 1.6 集合とその要素 20 |
| 1.7 集合の演算 22 |
| 1.8 集合の代数と双対性 23 |
| 1.9 有限集合とその要素数 25 |
| 1.10 ベキ集合 26 |
| 1.11 演習問題 27 |
| 第2章 関係と関数 |
| 2.1 直積集合と2項関係 30 |
| 2.2 関係の性質 32 |
| 2.2.1 同値関係 33 |
| 2.2.2 同値類 35 |
| 2.2.3 商集合 35 |
| 2.2.4 分割 36 |
| 2.3 半順序と線形順序 37 |
| 2.4 最小上界と最大下界 38 |
| 2.5 関数 41 |
| 2.5.1 関数:特別な関係 41 |
| 2.5.2 関数の相等 42 |
| 2.6 関数の性質 42 |
| 2.6.1 単射 42 |
| 2.6.2 全射 43 |
| 2.7 関数の合成と逆関数 45 |
| 2.8 関数によって誘導される同値関係 47 |
| 2.9 演習問題 48 |
| 第3章 行列 |
| 3.1 ベクトルと線形空間 53 |
| 3.2 行列と線形変換 60 |
| 3.3 線形連立方程式の行列による解法(ガウス-ジョルダンの消去法) 66 |
| 3.4 逆行列 74 |
| 3.5 演習問題 76 |
| 第4章 確率と確率分布 |
| 4.1 確率の意味 81 |
| 4.2 事象と確率 82 |
| 4.2.1 標本空間と事象 82 |
| 4.2.2 確率と確率空間 85 |
| 4.2.3 事象の独立性 89 |
| 4.2.4 条件付き確率 90 |
| 4.3 確率分布 94 |
| 4.3.1 確率変数と確率分布 94 |
| 4.3.2 離散確率変数と離散分布 98 |
| 4.3.3 連続確率変数と連続分布 102 |
| 4.4 演習問題 104 |
| 第2部 意思決定のための数学的アプローチ |
| 第5章 線形計画問題 |
| 5.1 線形計画問題への幾何学的接近 115 |
| 5.2 線形計画問題の具体例 121 |
| 5.3 単体法の図解 125 |
| 5.4 単体法 130 |
| 5.5 演習問題 138 |
| 第6章 統計学 |
| 6.1 確率の知識:統計分析の基礎として 142 |
| 6.1.1 平均値と標準偏差 142 |
| 6.1.2 多次元確率変数と確率変数の独立性 145 |
| 6.1.3 確率変数間の相関関係 149 |
| 6.2 統計分析で用いる確率分布 152 |
| 6.3 統計的推論:推定と検定 157 |
| 6.3.1 統計的推論の基礎概念 158 |
| 6.3.2 統計的推定 159 |
| 6.3.3 統計的検定 164 |
| 6.4 演習問題 168 |
| 第7章 論理による問題解決 |
| 7.1 オートマトン 172 |
| 7.2 状態オートマトンによる問題の表現 177 |
| 7.3 ホーン節による世界の表現 183 |
| 7.4 論理に基づく問題解決 189 |
| 7.5 演習問題 197 |
| 参考文献 200 |
| 高校数学の復習 201 |
| 演習問題解答 |
| 第1章 205 |
| 第2章 213 |
| 第3章 222 |
| 第4章 235 |
| 第5章 242 |
| 第6章 256 |
| 第7章 261 |
| 付録 |
| 付表1 正規分布表 268 |
| 付表2 t分布表 269 |
| 付表3 x2分布表 270 |
| 付表4(1) F分布表 (5％,1％) 272 |
| (2) F分布表 (2.5％,0.5％) 274 |
| 索引 巻末 |
