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."
Nach wie vor eines der besten Bücher zum Themenbereich; kurz und knapp, dennoch klar strukturiert und verständlich; insbesondere sehr gut für Prüfungsvorbereitung geeignet. Prof. Dr. Kurt-Ulrich Witt, Fachhochschule Bonn-Rhein-Sieg Das Buch hat sich zum kompakten Klassiker entwickelt. Prof. Dr. Jörg Weimar, Fachhochschule Brandenburg Eine sehr schöne und gut aufgebaute Zusammenfassung der Theoretischen Informatik , die einen guten Überblick über das Gebiet gibt und hervorragend zur Prüfungsvorbereitung geeignet ist. Prof. Dr. Peer Ueberholz, Hochschule Niederrhein, Krefeld
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.Von Prof. Schöning sind ebenfalls bei Spektrum Akademischer Verlag erschienen: "Logik für Informatiker" und "Algorithmik"
