简介
目录
本书共8章,详细介绍了命题逻辑、谓词逻辑、集合与关系、函数、图论基础、特殊图、代数系统基础、几个典型的代数系统中的有关概念、定理及其证明方法。本书既强化基本概念的描述,又阐述了离散数学的证明方法及各部分知识的应用实例,展示了离散数学在计算机科学与技术及相关领域的应用,同时注重突出知识的内在联系、循序渐进及相互依存。 本书可作为应用型本科院校和工程类本科院校计算机科学与技术及相关专业的教材,也可供相关技术人员学习参考。
Copyright(C) 人民邮电出版社电子书平台 , All Rights Reserved
京ICP备15015578号-3 | 出版物经营许可证 新出发京批字第直0673号 | 京公网安备110101000001号