以下の新刊を入手。
- 佐藤泰介、高橋篤司、伊東利哉、上野修一 『情報基礎数学』、昭晃堂、2007年
本書は計算機による情報処理を学ぶにあたって必要な数学的基礎をじっくり解説した入門書である．集合・関数・論理など数学のどの分野でも基礎的素養となるもの，数学的帰納法や木構造など計算機科学に必須となるものをバランスよく解説している．高校の復習段階から始めて階段を一歩一歩登るように配慮した．お奨めしたい一冊である.
目次
- 集合: 集合と組／集合演算／集合の性質
- 写像: 写像／写像の合成／様々な写像／写像と集合
- 関係: 関係／関係の合成／様々な関係
- 無限: 無限集合／集合の濃度／可算と非可算
- 論理: 命題論理／命題の解釈と論理演算／命題論理の性質／述語論理／述語論理の性質
- 数え上げ: 数え上げ技法／順列と組合せ／組合せの性質
- 定義と証明: 非構成的証明／数学的帰納法と証明／再帰的定義／記号列
- 木構造とアルゴリズム: グラフと木／2分木／アルゴリズム
