Theoretische Informatik - kurz gefasst

(Autor)

Buch | Softcover
VIII, 190 Seiten
2008 | 5., Aufl. 2008
Spektrum Akademischer Verlag
978-3-8274-1824-1 (ISBN)

Lese- und Medienproben

Theoretische Informatik - kurz gefasst - Uwe Schöning
37,99 inkl. MwSt
Ideal für den Informatikstudenten – das Wissen kurz und knapp auf dem Punkt!
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.

Prof. Dr. Uwe Schöning ist Leiter des Instituts für Theoretische Informatik der Universität Ulm. Von Prof. Schöning sind ebenfalls bei Spektrum Akademischer Verlag erschienen: „Logik für Informatiker" und „Algorithmik"

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

Erscheint lt. Verlag 11.3.2008
Verlagsort Heidelberg
Sprache deutsch
Maße 148 x 210 mm
Gewicht 262 g
Einbandart Paperback
Themenwelt Informatik Theorie / Studium Theoretische Informatik
Schlagworte Automatentheorie • Berechenbarkeitstheorie • formale Sprachen • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Informatik
ISBN-10 3-8274-1824-0 / 3827418240
ISBN-13 978-3-8274-1824-1 / 9783827418241
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich