Uwe Schöning Knihy

Dieses Buch beschreitet einen neuen Weg. Inhalte vor allem der Theoretischen Informatik werden hier für ein breiteres Publikum aufbereitet und verfügbar gemacht. Der Autor verdeutlicht, dass der Zugang zur Informatik über die formale Methode, die Grundideen und die Algorithmik viel Spaß machen kann. Effiziente, praxisrelevante Lösungsansätze stehen im Vordergrund, was Verständlichkeit und Anwendbarkeit der Ideen fördert.

Das Buch macht den Leser in kompakter Form mit den wesentlichen GrundzA1/4gen der Theoretischen Informatik vertraut. Es fA1/4hrt in die Thematik Formale Sprachen, Grammatiken und Automaten ein. An eine Diskussion des Berechenbarkeitsbegriffs und unentscheidbarer Probleme schlieAt sich eine EinfA1/4hrung in die Komplexi-tAtstheorie, speziell die Theorie der NP-VollstAndigkeit, an. QuerbezA1/4ge zwischen den Fachgebieten werden aufgezeigt. In der 3. Auflage wurden Erweiterungen eingearbeitet, wie zum Beispiel der KomplementabschluA der kontext-sensitiven Sprachen, die Greibach- und Kuroda-Normalform, weitere Unentscheidbarkeitsergebnisse fA1/4r kontextfreie Sprachen, ein Beweis fA1/4r die A"quivalenz von LOOP-Berechenbarkeit und primitiver RekursivitAt, ein Hinweis auf das 10. Hilbertsche Problem, weitere NP-VollstAndigkeitsresultate, sowie eine etwas anders gestaltete Darstellung der Ackermann-Funktion.

Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. Schöning gelingt durch seinen verständlichen Beweisstil und viele Beispiele eine übersichtliche und im Detail gut nachvollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schließt sich die Behandlung der Berechenbarkeitstheorie an. Hier werden beginnend mit dem intuitiven Berechenbarkeitsbegriff und der Churchschen These die wichtigsten Theoreme bis hin zum Gödelschen Unvollständigkeitssatz bewiesen. Der dritte Teil führt in die Komplexitätstheorie ein und legt hierbei den Schwerpunkt auf die Theorie der NP-Vollständigkeit. Zahlreiche Querbezüge und Bemerkungen erleichtern das Verständnis und vertiefen das Gelernte. Leserstimmen auf amazon. de: „Mir gefällt besonders, dass er dabei mehr die Ideen betont als das Formale. Daher liest sich das Buch sehr gut und flüssig.„ „Alles in allem das kompakteste und beste Buch dieses Themengebietes.“

Das Buch macht den Leser in kompakter Form mit den wesentlichen GrundzA1/4gen der Theoretischen Informatik vertraut. Der erste und grAAte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. SchAning gelingt durch seinen verstAndlichen Beweisstil und viele Beispiele eine A1/4bersichtliche und im Detail gut nachvollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schlieAt sich die Behandlung der Berechenbarkeitstheorie an. Hier werden beginnend mit dem intuitiven Berechenbarkeitsbegriff und der Churchschen These die wichtigsten Theoreme bis hin zum GAdelschen UnvollstAndigkeitssatz bewiesen. Der dritte Teil fA1/4hrt in die KomplexitAtstheorie ein und legt hierbei den Schwerpunkt auf die Theorie der NP-VollstAndigkeit. Zahlreiche QuerbezA1/4ge und Bemerkungen erleichtern das VerstAndnis und vertiefen das Gelernte.