情報科学のための数学
- ダウンロード商品通常版¥ 1,800
- ダウンロード商品サンプル¥ 0無料ダウンロード情報科学のための数学_サンプル.pdf(712 KB)情報科学のための数学_サンプル.pdf
Eric Lehman, F. Thomson Leighton, Albert R. Meyer 著 Mathematics for Computer Science の翻訳です。 フォーマット: PDF ページ数: 1000
本書について
Eric Lehman, F. Thomson Leighton, Albert R. Meyer 著 Mathematics for Computer Science の翻訳です。 論理式、数学的帰納法、数論、グラフ、母関数、確率、漸近記法など、情報科学を学ぶ上で欠かせない重要な概念を学ぶことができます。 情報科学に関する本でよく触れられる「アルゴリズムとデータ構造」の話題は本書にあまり含まれません。それよりも、アルゴリズムとデータ構造をはじめとした情報科学の様々な話題を議論するのに必要な数学のツールを習得するための説明・例・練習問題がたっぷり含まれています。 全部で 800 問以上の練習問題が含まれます。簡単なものから難しいものまであるので、気になったものを解けば理解を深められるでしょう。 サンプルには「第 1 章 証明とは何か?」と「第 17 章 事象と確率空間」が含まれます。翻訳と組版のクオリティの確認にご利用ください。 原著は https://courses.csail.mit.edu/6.042/spring18/index.shtml にて Creative Commons Attribution-ShareAlike 3.0 ライセンス ( https://creativecommons.org/licenses/by-sa/3.0/ ) で公開されています。 この翻訳は Creative Commons Attribution-ShareAlike 3.0 ライセンスの許諾に基づいて公開されます。 この翻訳は Creative Commons Attribution-ShareAlike 3.0 ライセンスで公開されます。 この翻訳を二次配布・二次利用する場合は、 https://inzkyk.xyz/mcs/ に対するリンクを帰属表示として紹介文などに含めてください。 本書の HTML 版は https://inzkyk.xyz/mcs/ で公開されています。
目次
第 I 部 証明 第 1 章 証明とは何か? 第 2 章 整列原理 第 3 章 論理式 第 4 章 数学的データ型 第 5 章 数学的帰納法 第 6 章 状態機械 第 7 章 再帰的データ型 第 8 章 無限集合 第 II 部 数学的構造 第 9 章 数論 第 10 章 有向グラフと半順序 第 11 章 通信ネットワーク 第 12 章 単純グラフ 第 13 章 平面グラフ 第 III 部 数え上げ 第 14 章 総和と漸近記法 第 15 章 集合の要素数の性質 第 16 章 母関数 第 IV 部 確率 第 17 章 事象と確率空間 第 18 章 条件付き確率 第 19 章 確率変数 第 20 章 期待値からの偏差 第 21 章 ランダムウォーク 第 V 部 再帰方程式 第 22 章 再帰方程式 記号集 参考文献 索引
更新履歴
2026 年 5月 24 日 公開



























