Discrete Mathematics

Proofs, Structures and Applications, Third Edition
3. Auflage 2009
ISBN: 978-1-4398-1280-8
Verlag: CRC Press

Buch, Englisch, 846 Seiten, Format (B × H): 161 mm x 240 mm, Gewicht: 1418 g

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 Edition
In 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.

Zielgruppe

Undergraduate

Autoren/Hrsg.

Garnier, Rowan

Taylor, John

Fachgebiete

• Mathematik | Informatik Mathematik Operations Research Graphentheorie
• Mathematik | Informatik EDV | Informatik Informatik
• Mathematik | Informatik Mathematik Mathematik Allgemein Diskrete Mathematik, Kombinatorik

Inhaltsverzeichnis

Logic. Mathematical Proof. Sets. Relations. Functions. Matrix Algebra. Systems of Linear Equations. Algebraic Structures. Introduction to Number Theory. Boolean Algebra. Graph Theory. Applications of Graph Theory. References and Further Reading. Hints and Solutions to Selected Exercises. Index.

Über Autor(innen)

Rowan Garnier was a professor of mathematics at Richmond, the American International University in London, where she served ten years as Chair of the Division of Mathematics, Science and Computer Science.

John Taylor is Head of the School of Computing, Mathematical and Information Sciences at the University of Brighton, UK. He has published widely on the applications of diagrammatic logic systems to computer science.