計算機科学入門
森北出版
著者：西田泰伸
第1章 アルゴリズムと問題解決
1.1 アルゴリズムとは何か
1.2 アルゴリズムの記述法
1.3 厳密な定義と数学的議論
演習問題1
第2章 ソートアルゴリズム
2.1 単純なソート
2.2 高性能ソート
2.3 プログラミング課題
2.4 厳密な定義と数学的議論
演習問題2
第3章 探索アルゴリズム
3.1 二分探索
3.2 ハッシュ法
3.3 プログラミング課題
3.4 厳密な定義と数学的議論
演習問題3
第4章 ネットワークアルゴリズム
4.1 グラフとネットワーク
4.2 最短道問題
4.3 最大フロー問題
4.4 プログラミング課題
演習問題4
第5章 順序機械
5.1 状態のあるシステム
5.2 順序機械の構成
5.3 順序機械の簡単化
5.4 厳密な定義と数学的議論
演習問題5
第6章 オートマトンと正規言語
6.1 形式言語，正規言語，正規表現
6.2 決定性と非決定性のオートマドン
6.3 正規言語の性質
演習問題6
第7章 文脈自由言語
7.1 文脈自由文法とプログラミング言語の構文規則
7.2 形式文法の性質
7.3 プッシュダウンオートマトン
7.4 プログラミング課題
演習問題7
第8章 計算モデル
8.1 計算不能問題
8.2 チューリング機械
8.3 計算の複雑さ
8.4 各種複雑性の関係
演習問題8
演習問題解答
参考文献
索引