ディジタルコンピュータ自体は時々刻々とその内部状態を変え動作している。離散数学は、このような離散的な事柄を対象とし、その表現、関係、演算、配置などを取り扱う数学であるといえよう。本書では、離散数学のなかから、集合論、組合せ論、グラフ理論、および代数系の基礎的な題材を取り上げた。