Rolf Socher Reihenfolge der Bücher (Chronologisch)

Das Thema Sicherheit hat in der Informatik zunehmend an Bedeutung gewonnen, insbesondere im Hinblick auf den Schutz von Daten vor unerwünschtem Zugriff und zufälligen Fehlern. Kryptografie zielt darauf ab, Verfahren zur sicheren Verschlüsselung von Daten zu entwickeln, während die Codierungstheorie sich mit der Erkennung und Korrektur zufälliger Fehler beschäftigt. Beide Bereiche basieren stark auf algebraischen Konzepten. Das Buch vermittelt anschaulich und verständlich die grundlegenden mathematischen Begriffe und Methoden der Algebra, die für die Informatik, insbesondere in der Kryptografie und Codierungstheorie, relevant sind. Es richtet sich an Masterstudierende der Informatik an Fachhochschulen und Universitäten und setzt Grundkenntnisse der linearen Algebra voraus, wie sie in Bachelorstudiengängen vermittelt werden. Die notwendigen Grundlagen der elementaren Zahlentheorie und modularen Arithmetik sind im Anhang kompakt zusammengefasst. Zahlreiche Beispiele, Übungsaufgaben und Programmierprojekte fördern das eigenständige Erarbeiten der Themen. Lösungen zu den Übungsaufgaben sowie Java-Programme sind auf der Webseite des Buches verfügbar: http://informatik.fh-brandenburg.de/~socher/AfI.

Keine Angst vor der Mathematik! Dieses Buch vermittelt auf anschauliche und anwendungsorientierte Weise die mathematischen Inhalte, die Sie für Ihr Informatikstudium benötigen. Dabei wird großer Wert auf den Praxisbezug der mathematischen Inhalte gelegt. Es wird jeweils anhand einer konkreten Aufgabenstellung der Informatik das mathematische Handwerkszeug entwickelt, das zur Lösung dieser Aufgabe erforderlich ist. So werden Themen der linearen Algebra im Hinblick auf Anwendungen in der Computergrafik erläutert. Aufgabenstellungen der Zeit- und Kalenderrechnung sowie der Kryptografie dienen zur Veranschaulichung der modularen Arithmetik.

Dieses Lehrbuch stellt eine Einführung in die theoretischen Grundlagen der Informatik dar. Es beschränkt sich auf die klassischen Themen: formale Sprachen, endliche Automaten und Grammatiken, Berechenbarkeit und Entscheidbarkeit, Komplexität und Logik. Das Konzept der Transformation zwischen den verschiedenen Formalismen zieht sich wie ein roter Faden durch das gesamte Buch. Auf eine anschauliche Vermittlung der Begriffe und Methoden der theoretischen Informatik und ihre Vertiefung in Aufgaben und Programmierprojekten wird großer Wert gelegt. Die dem Buch beiliegende CD enthält das Lernprogramm „Machines“, mit dem endliche Automaten, Kellerautomaten, Grammatiken, reguläre Ausdrücke und Turing-Maschinen mit einer komfortablen grafischen Oberfläche realisiert und visualisiert werden können. Zur Vertiefung auf der CD: - Lernprogramm „Machines“ (lauffähig unter Windows, Linux, Mac OS) - aktuelle Java-Version 1.4 - Prolog-Programme