Beschreibung:
This third edition continues to provide a rigorous yet accessible exposition of discrete mathematics, including the core mathematical foundation of computer science. 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.
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.