本教材从计算机学科的视角系统地论述了离散数学知识，包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、半群与群、格与布尔代数、图论等内容。本书创新地引入编程方式求解离散数学问题，突破了传统手工演算的局限性。为此，本教材系统地梳理了离散数学中可以用编程求解的问题，覆盖了每章的知识点，构建了一个非常完善的离散数学编程习题库，共计300余道编程题。