正版 离散数学 王强 9787030689191

计算机是20世纪人类较伟大的科学技术发明之一，对人类的生产活动和社会活动产生了极其重要的影响，并仍以强大的生命力飞速发展着．离散数学是随着计算机科学的发展而逐步建立起来的，它形成于20世纪70年代初期，是一门工具性学科．伴随着计算机科学技术的迅猛发展，作为计算机科学理论基础的离散数学也变得越来越重要． 
 离散数学是计算机科学中基础理论的核心课程，它是以研究离散量、离散量的结构和相互间的关系为主要目标的，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点，在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用．通过离散数学的教学，学生们不仅可以掌握处理离散结构的工具和方法，为后续课程的学习创造条件，还可以培养和提高自身的抽象思维和严格的逻辑推理能力，为将来从事的软、硬件开发和应用研究打下坚实的基础． 
 离散数学是由多个数学分支组成的，每个分支从不同的角度研究离散量之间的关系．由于每个分支都是一个独立的研究领域，但又相互关联，因此国内外的教材对每个分支各有侧重，形成了不同特色的各种教材．本书将离散数学分为四大部分，共8章．部分为数理逻辑，由第1章和第2章组成，相对系统地论述了命题逻辑和谓词逻辑的基本内容．第二部分为集合论，由第3章～第5章组成，系统地论述了集合的运算与性质，并介绍了离散结构的集合表示——关系和函数，讨论了关系和函数的各种运算、性质、表示方法．第三部分为图论，由第6章和第7章组成，介绍了离散结构的图形表示——图和树，包括图的基本概念、图的矩阵表示、特殊图、无向树和有向树及其应用．第四部分为代数系统，只有一章，即第8章，简要介绍了离散系统的代数模型．每章中所涉及的概念、定理清晰易懂，用词严谨，推演详尽，例题与定义、定理相结合，课后习题难度渐进，覆盖面广． 
 本书的编者长期从事离散数学教学工作，有丰富的理论知识和实践经验．本书第1章～第6章由王强编写，第7章由王海龙编写，第8章由武建春编写．在编写本书的过程中，编者参考和引用了国内外的一些离散数学书籍和资料，在此向这些书籍和资料的作者表示感谢！ 
 由于编者水平有限，书中难免存在不妥之处，敬请广大读者批评指正． 

 编 者 
 2020年12月 

本书较为系统地介绍了计算机科学技术等相关专业所必需的离散数学知识，全书共分8章．第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合的基本概念、性质及计数方法，第4章介绍二元关系及其性质，第5章介绍函数及其性质，第6章介绍图论的基础内容和一些特殊图，第7章介绍树及其应用，第8章介绍代数系统及一些与计算机密切相关的代数系统．各章后均配有难度适当的习题，便于学生课后练习． 
 本书结构严谨，逻辑清晰，讲解透彻，示例丰富，可作为高等院校计算机科学技术、软件工程等相关专业“离散数学”课程的教材，也可以作为计算机科学技术行业从业人员的参考书．