Das Buch führt Sie in die diskrete Mathematik ein und betont die Hauptthemen sowie das Denken, auf dem das mathematische Denken basiert. Es lehrt Sie, abstrakt zu denken, während Sie die Konzepte von Logik und Beweis studieren. Sie werden mit logischen Schaltungen, Algorithmenanalyse, rekursivem Denken, Berechenbarkeit, Kryptographie und Kombinatorik vertraut, und entdecken, dass die Konzepte der diskreten Mathematik allen modernen Wissenschaften und Technologien zugrunde liegen. Sie werden das notwendige Hintergrundwissen für fortgeschrittene Kurse in Informatik und Mathematik aufbauen. Suzanna Epp untersucht die Schwierigkeiten beim Verständnis von Logik und Sprache mit einem Ansatz, der es Studenten unterschiedlicher Wissensstufen ermöglicht, die Grundlagen des mathematischen Denkens zu erfassen und gut strukturierte mathematische Argumente zu konstruieren. Mit Definitionen, Theoremen, über 2500 Übungen und Aufgaben zum Üben sowie 500 gelösten Beispielen dient das Buch als umfassendes Nachschlagewerk, auf das Sie systematisch zurückgreifen werden, wenn Sie fortgeschrittene Kurse besuchen. Die Beweise sind so entwickelt, dass Sie je nach Ihrem Verständnisniveau entweder auf eine kürzere oder eine detailliertere Anleitung zurückgreifen können. Mit der flexiblen Struktur des Buches können Dozenten Kernthemen mit optionalem Material kombinieren, um verschiedene Lehrpläne abzudecken und unterschiedliche Kursanforderungen zu betonen. Inhalt: Mathematische Sprache Logik zusammengesetzter Aussagen Logik quantifizierter Aussagen Elementare Zahlentheorie und Beweismethoden Folgen, mathematische Induktion und Rekursion Mengenlehre Eigenschaften von Funktionen Eigenschaften von Relationen Zählen und Wahrscheinlichkeit Graphen- und Baumtheorie Analyse der Algorithmen-Effizienz Reguläre Ausdrücke und endliche Automaten Anhang A: Eigenschaften der reellen Zahlen Anhang B: Lösungen und Hinweise für ausgewählte Übungen