离散数学及其应用

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