本书对离散数学的四大部分——数理逻辑,集合论初步及其二元关系,图论初步,代数系统与布尔代数的有关概念、定理及其证明方法进行了阐述。全书共分五章:集合论初步、数理逻辑、二元关系、图论初步、代数系统与布尔代数。其特点在于除了强化基本概念的描述外,还特别着重于阐述有关离散数学的证明方法及离散数学在计算机中的应用,并给予了大量的例子和应用实例,并着重强调几部分之间的关系。介绍时以工科学生易懂及够用为原则,重点突出。另外为方便读者自学,同时出版了“离散数学及其应用习题解析”一书,供读者作为本书的辅导读物。本书可作为工科的本科、专科、自学等学生的必修课教材,特别适合计算机专业的科技人员及学生使用。