Discrete Mathematics: Proofs, Structures and Applications, Third Edition
Discrete Mathematics: Proofs, Structures and Applications, Third Edition
复制标题
DOI：
10.1201/9781439812815
复制
发表时间：
2009-11
期刊：
影响因子：
--
通讯作者：
Rowan Garnier;John Taylor
中科院分区：
文献类型：
--
作者：
Rowan Garnier;John Taylor
离散数学：证明，结构和应用，第三版提供了一个严格的，但可访问的离散数学，包括计算机科学的核心数学基础的论述。这种方法是全面的，但保持了一个易于遵循的进展，从基本的数学思想，以更复杂的概念检查后，在书中。这个版本保留了它的前辈的哲学，同时更新和修订了一些内容。新的第三版在扩大的第一章，文本包括一个新的一节的形式证明的有效性论点在命题逻辑之前，移动到谓词逻辑。这个版本还包含了一个新的一章初等数论和同余。本章探讨了在模算术和RSA加密中出现的群，RSA加密是一种广泛使用的公钥加密方案，可以实现实用和安全的数据加密方法。第三版还为合格的讲师提供了详细的解决方案手册。探索数学和计算机科学之间的关系，本文继续在离散数学理论提供了一个安全的基础，并增加了突出的应用理论基础。它旨在帮助读者发展严格的逻辑思维，以适应不断发展的计算机科学学科的需求。
Taking an approach to the subject that is suitable for a broad readership, Discrete Mathematics: Proofs, Structures, and Applications, Third Edition provides a rigorous yet accessible exposition of discrete mathematics, including the core mathematical foundation of computer science. The approach is comprehensive yet maintains an easy-to-follow progression from the basic mathematical ideas to the more sophisticated concepts examined later in the book. This edition preserves the philosophy of its predecessors while updating and revising some of the content. New to the Third EditionIn the expanded first chapter, the text includes a new section on the formal proof of the validity of arguments in propositional logic before moving on to predicate logic. This edition also contains a new chapter on elementary number theory and congruences. This chapter explores groups that arise in modular arithmetic and RSA encryption, a widely used public key encryption scheme that enables practical and secure means of encrypting data. This third edition also offers a detailed solutions manual for qualifying instructors. Exploring the relationship between mathematics and computer science, this text continues to provide a secure grounding in the theory of discrete mathematics and to augment the theoretical foundation with salient applications. It is designed to help readers develop the rigorous logical thinking required to adapt to the demands of the ever-evolving discipline of computer science.