1　集合，写像，関係
1-1　集合
1-2　指数と級数
1-3　写像と関係
2　記号列，言語，帰納法
2-1　自然数上での帰納法
2-2　記号列
2-3　言語とオートマトンの理論　最初の概観
2-4　文脈自由言語
2-5　リスト処理
3　数えあげ，再帰，木
3-1　数えあげの原理
3-2　木と再帰
3-3　アルゴリズムの解析例
4　スイッチング回路，証明，理論
4-1　真理値表とスイッチング回路
4-2　定理の証明
5　2項関係，束，無限
5-1　同値関係と半順序関係
5-2　束とブール代数
5-3　無限への招待
5-4　木の代数構造
6　グラフ，行列，機械
6-1　グラフ理論の初歩
6-2　グラフと行列
6-3　有限状態機械とそのグラフ