Theoretische Informatik - kurz gefasst

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

37,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

auf Lager, Lieferzeit 1-2 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Beschreibung

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 [...]:

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

Leserstimmen auf [...]:

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

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	2008
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	190
Inhalt:	X 190 S.
ISBN-13:	9783827418241
ISBN-10:	3827418240
Sprache:	Deutsch
Herstellernummer:	978-3-8274-1824-1
Autor:	Schöning, Uwe
Auflage:	5. Aufl.
Hersteller:	Springer Spektrum Spektrum Akademischer Verlag
Abbildungen:	X, 190 S.
Maße:	211 x 164 x 12 mm
Von/Mit:	Uwe Schöning
Erscheinungsdatum:	11.03.2008
Gewicht:	0,262 kg

preigu-id: 101905812

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2008
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	190
Inhalt:	X 190 S.
ISBN-13:	9783827418241
ISBN-10:	3827418240
Sprache:	Deutsch
Herstellernummer:	978-3-8274-1824-1
Autor:	Schöning, Uwe
Auflage:	5. Aufl.
Hersteller:	Springer Spektrum Spektrum Akademischer Verlag
Abbildungen:	X, 190 S.
Maße:	211 x 164 x 12 mm
Von/Mit:	Uwe Schöning
Erscheinungsdatum:	11.03.2008
Gewicht:	0,262 kg