内容简介
本书全面介绍了计算机专业必备的离散数学基础知识，全书共分10章，内容包括数理逻辑，集合。关系，函数，无限集和基数，代数系统概论，群、环和域，格与布尔代数，图论，模型论浅述。
本书按照认识论的规律介绍知识，用方法论指导定理证明与推导。因此，本书的介绍深人浅出，特别适合于作为高等院校理工科各专业本科生的教材，也适合于相关领域的科技工作者参考使用。
本书按照认识论的规律介绍知识，用方法论指导定理证明与推导。因此，本书的介绍深人浅出，特别适合于作为高等院校理工科各专业本科生的教材，也适合于相关领域的科技工作者参考使用。