Theoretische Informatik - kurzgefasst - 4. Auflage

Mehr zum Buch

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.