Taking an approach suitable for a broad readership, this text provides a rigorous yet accessible exposition of discrete mathematics, which forms the core mathematical foundation of computer science. The comprehensive approach maintains an easy-to-follow progression from basic ideas to more sophisticated concepts. This edition preserves the philosophy of its predecessors while updating some content. The expanded first chapter introduces a new section on the formal proof of argument validity in propositional logic before transitioning to predicate logic. Additionally, a new chapter on elementary number theory and congruences explores groups in modular arithmetic and RSA encryption, a widely used public key encryption scheme that ensures secure data encryption. This edition also includes a detailed solutions manual for qualifying instructors. By exploring the relationship between mathematics and computer science, the text continues to provide a solid grounding in the theory of discrete mathematics while augmenting the theoretical foundation with relevant applications. It is designed to help readers develop the rigorous logical thinking necessary to adapt to the evolving demands of computer science.
Rowan Garnier Reihenfolge der Bücher (Chronologisch)
