本書は、情報科学や工学における基礎となる離散数学の入門的内容をできるだけ体系的に説明し、かつ多数の演習問題を配置することで、初学者の理解を助けることを目的としている。
　本文中の記述はできるだけ簡潔に、かつわかりやすくすることに気を配った。そして、章末には　できるだけ多数の演習問題を用意した。第1章で論証の形式に少しスペースを割いた。これは、学生たちは証明が苦手で、何を証明すべきなのか、そして、どのように論証を組立ててよいかわからない学生も多数いるからである。
　高等学校の数学の教科書は我々の時代に比べて極端に薄くなってしまったが、それはともかく、論証の形式については数学Ａにあり、これが選択科目となっているため、「必要十分条件」についても「聞いたことがある」などと答えるのである。前著で1章ずつ割いていた「形式言語」と「ブール代数」関係の記述は、ごく簡単にした。代わりに、6章では整数を対象として代数系への導入をはかり、現代暗号への取っ掛かりも入れてみた。

本書は、理工系・文系を問わず、情報の専門の学部、学科に学ぶ大学・高専・専門学校の学生を対象に、教養数学の知識はあまり前提にせずに情報科学における離散数学の概要を分かり易く解説しました。
情報処理学会が提案している「大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラムＪ９７」を参考にし、離散数学としてのまとまりをもたせるため、基礎的代数に、グラフや形式言語、帰納的アルゴリズムなどの内容を加えました。
本書では、演習による理解を重視し、多数の例題（３９０題余り）を配し、巻末に略解をつけて初学者の便を図っています。