
Mathematics for Computer Science
Dieses Buch behandelt elementare diskrete Mathematik für Informatik und Ingenieurwesen. Es legt den Schwerpunkt auf mathematische Definitionen und Beweise sowie auf anwendbare Methoden.
Zu den Themen gehören die Notation der formalen Logik, Beweismethoden, Induktion, Wohlordnung, Mengen, Relationen, elementare Graphentheorie, ganzzahlige Kongruenzen, asymptotische Notation und Wachstum von Funktionen, Permutationen und Kombinationen, Zählprinzipien, diskrete Wahrscheinlichkeit. Weitere ausgewählte Themen können ebenfalls behandelt werden, wie z.B.
rekursive Definition und strukturelle Induktion; Zustandsautomaten und Invarianten; Rekursionen; erzeugende Funktionen. Die Farbbilder und der Text in diesem Buch wurden in Graustufen umgewandelt.