第1章 集合
1.1 集合
1.2 集合演算
演習問題
第2章 関係と関数
2.1 直積集合と関係
2.2 同値関係
2.3 関数
2.4 可算集合
演習問題
第3章 論理と証明法
3.1 命題
3.2 論理演算
3.3 命題関数と限定記号
3.4 証明の論法
3.5 数学的帰納法
演習問題
第4章 代数学の基礎
4.1 合同式
4.2 最大公約数
4.3 有限体
4.4 RSA公開鍵暗号
演習問題
第5章 グラフ
5.1 グラフの定義
5.2 パスと連結性
5.3 グラフの探索
5.4 連結成分
演習問題
第6章 アルゴリズム
6.1 アルゴリズム
6.2 べき乗の計算
6.3 ユークリッドの互除法
6.4 クリーク問題
演習問題
第7章 計算量
7.1 計算時間の測り方
7.2 因数分解
7.3 P=NP?問題
7.4 NP完全性
演習問題
演習問題解答
参考文献
索引
1.1 集合
1.2 集合演算
演習問題
第2章 関係と関数
2.1 直積集合と関係
2.2 同値関係
2.3 関数
2.4 可算集合
演習問題
第3章 論理と証明法
3.1 命題
3.2 論理演算
3.3 命題関数と限定記号
3.4 証明の論法
3.5 数学的帰納法
演習問題
第4章 代数学の基礎
4.1 合同式
4.2 最大公約数
4.3 有限体
4.4 RSA公開鍵暗号
演習問題
第5章 グラフ
5.1 グラフの定義
5.2 パスと連結性
5.3 グラフの探索
5.4 連結成分
演習問題
第6章 アルゴリズム
6.1 アルゴリズム
6.2 べき乗の計算
6.3 ユークリッドの互除法
6.4 クリーク問題
演習問題
第7章 計算量
7.1 計算時間の測り方
7.2 因数分解
7.3 P=NP?問題
7.4 NP完全性
演習問題
演習問題解答
参考文献
索引