Uwe Schöning

Theoretische Informatik - kurz gefasst

• Buch

Produktbeschreibung

Inhalt:
1 Automatentheorie und Formale Sprachen
2 Berechenbarkeitstheorie
3 Komplexitätstheorie

Das Buch macht den Leser 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.

Produktdetails

• Verlag: Spektrum Akademischer Verlag in Elsevier
• 4. Auflage
• Deutsch
• ISBN-13: 9783827410993
• ISBN-10: 3827410991
• Artikelnr.: 04674631

Autorenporträt

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: "Perlen der Theoretischen Informatik", "Logik für Informatiker" sowie "Algorithmen - kurz gefasst".

Inhaltsangabe

1 Automatentheorie und Formale Sprachen

1.1 Allgemeines

1.2 Reguläre Sprchen

1.3 Kontextfreie Sprachen

1.4 Kontextsensitive und Typ 0-Sprachen

1.5 Tabellarischer Überblick

2 Berechenbarkeitstheorie

2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These

2.2 Turing-Berechenbarkeit

2.3 LOOP, WHILE- und GOTO-Berechenbarkeit

2.4 Primitiv rekursive und mu-rekursive Funktionen

2.5 Die Ackermannfunktion

2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit

2.7 Das Postsche Korrespondenzprinzip

2.8 Unentscheidbare Grammatik-Probleme

2.9 Der Gödelsche Satz

3 Komplexitätstheorie

3.1 Komplexitätsklasen und P-NP-Problem

3.2 NP-Vollständigkeit

3.3 Weitere NP-vollständige Probleme

Anhang Mathematische Grundlagen

---

Einleitung.- 1 Automatentheorie und Formale Sprachen.- 1.1 Allgemeines. 1.2 Reguläre Sprachen. 1.3 Kontextfreie Sprachen. 1.4 Kontextsensitive und Typ 0-Sprachen. 1.5 Tabellarischer Überblick.- 2 Berechenbarkeitstheorie.- 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These. 2.2 Turing-Berechenbarkeit. 2.3 LOOP-, WHILE- und GOTO-Berechenbarkeit. 2.4 Primitiv rekursive und mü-rekursive Funktionen. 2.5 Die Ackermannfunktion. 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit. 2.7 Das Postsche Korrespondenzprinzip. 2.8 Unentscheidbare Grammatik-Probleme. 2.9 Der Gödelsche Satz.- 3 Komplexitätstheorie.- 3.1 Komplexitätsklassen und P-NP-Problem. 3.2 NP-Vollständigkeit. 3.3 Weitere NP-vollständige Probleme.- Anhang: Mathematische Grundlagen.- Literaturverzeichnis.- Index.