Das Buch "Discrete Mathematics" von Jean Gallier bietet eine umfassende Einführung in die diskrete Mathematik, die sich besonders an Studierende der Mathematik und Informatik richtet. Es beginnt mit den grundlegenden Regeln der mathematischen Logik und bietet zahlreiche Beispiele für formale und informelle Beweise. Mit einem soliden logischen Fundament behandelt das Buch die wesentlichen Axiome der Mengenlehre und führt in die natürlichen Zahlen ein. Die weiteren Kapitel widmen sich Funktionen und Relationen, gerichteten und ungerichteten Graphen sowie einer Einführung in die Kombinatorik. Ein besonderes Augenmerk liegt auf der öffentlichen Schlüssel-Kryptographie und dem RSA-Verfahren, einschliesslich vollständiger Beweise von Fermats kleinem Satz und der Korrektheit des RSA-Schemas. Das Buch ist reich illustriert und schliesst jedes Kapitel mit einer Liste von Aufgaben unterschiedlicher Schwierigkeitsgrade ab.