Theoretische Informatik - kurz gefasst
Spektrum Akademischer Verlag
978-3-8274-1824-1 (ISBN)
Ideal für den Informatikstudenten – das Wissen kurz und knapp auf dem Punkt!— Nina Otto (Buchhändlerin, Lehmanns Media)
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? |
aus dem Bereich
