离散数学是现代数学的重要分支，也是计算机科学的重要理论基础。离散数学作为应用计算机求解实际问题的重要工具，在离散建模中具有重要的意义。随着计算机技术的日益普及，越来越多的行业开始采用计算机解决实际问题，学习和掌握离散建模的重要性日益凸显。学好离散数学，不仅能为计算机相关专业的学生后续课程的学习打下坚实的基础，也能培养学生的逻辑推理和抽象思维能力，为学生今后从事相关专业的学习和工作打下坚实的数学基础。 离散数学的主要研究对象是计算机相关学科中离散量的结构及其相互关系。本书主要包括数理逻辑、集合与函数、代数系统及布尔代数、图论等主要内容，内容涵盖计算机科学技术中常用的离散结构的数学基础。本书在注重离散数学体系的基础上，强化证明思想和方法的介绍，在讲解基本内容及基本概念的时候尽可能结合实例，重视理论和方法的实用性。本书除在每章中增加了一些实例的讲解和习题之外，还专门在第8章讨论了数理逻辑、集合论、代数系统以及图论在计算机科学中的应用。 本书系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识。全书共8章，第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合与关系的基本概念和性质，第4章介绍函数，第5章介绍代数系统，第6章介绍格与布尔代数，第7章介绍图论的基本概念及其性质，第8章介绍离散数学在计算机科学中的一些具体应用。 本书适合作为高等学校计算机专业及相关专业的本科生教材，也可以供对离散数学有兴趣的读者自学。 限于作者水平，书中不当之处在所难免，恳请读者批评指正。 编者[]2013年8月

• 课件下载
• 样章下载
• 网络资源

扫描二维码
下载APP了解更多

版权图片链接