ソフトウェアを理解するための情報数学の基礎。集合・写像・関係／再帰・計算・帰納／論理の基礎を読みやすく、丁寧に、ポイントをおさえて解説。