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."

Dieses in der 5. Auflage vorliegende Standardwerk macht Studierende in kompakter Form mit den wesentlichen Grundz gen der Theoretischen Informatik vertraut. Der erste und gr te Teil behandelt Formale Sprachen, Grammatiken und Automaten. Es schlie t sich die Behandlung der Berechenbarkeitstheorie und der Komplexit tstheorie an. Dem Autor gelingt durch seinen verst ndlichen Beweisstil und viele Beispiele eine bersichtliche und im Detail gut nachvollziehbare Darstellung der Theoretischen Informatik.