第1章　基本的な数学概念
1.1　集合
1.2　関数
1.3　無限集合と濃度
1.4　行列
1.5　命題と述語
1.6　言語＝文字列の集合

第2章　数学的帰納法と再帰的定義
2.1　数学的帰納法
2.2　再帰的定義
2.3　バッカス記法

第3章　関係
3.1　2 項関係
3.2　同値関係
3.3　順序
3.4　有向グラフ
3.5　関係の閉包
3.6　チャーチ・ロッサー関係
3.7　関係データベース

第4章　グラフ
4.1　グラフについての基本的概念
4.2　連結性
4.3　いろいろなグラフ
4.4　ラベルつきグラフ
4.5　グラフアルゴリズム

第5章　論理とその応用
5.1　命題論理
5.2　述語論理
5.3　論理回路
5.4　束とブール代数

第6章　アルゴリズムの解析
6.1　関数の漸近的性質
6.2　分割統治法
6.3　再帰方程式の解法
6.4　数え上げ
6.5　確率

理解度確認問題解答
参考書案内
索引