本書は特に数学と計算機科学との間の橋渡しをする「離散数学」への入門的教科書である。説明は具体例から出発し、数学的に厳密に定式化するとどうなるかを丁寧に述べてある。また、定義や証明も、その背後にあるねらいや着想がとらえやすいよう、解説に工夫をこらしてある。