EBOOK

Theoretische Informatik


€ 32,99
 
kartoniert
Sofort lieferbar
März 2008

Beschreibung

Beschreibung

Fundierte Einführung in die Theoretische Informatik Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt.

Inhaltsverzeichnis

Begriffe und Notationen.- Begriffe und Notationen.- Eine kurze Einführung in die Aussagenlogik.- Eine kurze Einführung in die Aussagenlogik.- Formale Sprachen.- Grammatiken und formale Sprachen.- Reguläre Sprachen und endliche Automaten.- Kontextfreie Sprachen.- Turing-Maschinen.- Die Sprachklassen und .- Abschlußeigenschaften von Sprachklassen.- Berechenbarkeit.- Registermaschinen.- Rekursive Funktionen.- Unentscheidbare Probleme.- Alternative Berechnungsmodelle.- Komplexität.

Pressestimmen

Aus den Rezensionen zur 3. Auflage:
"In der theoretischen Informatik werden grundlegende Konzepte, Modelle und Vorgehensweisen untersucht, die allen Bereichen der Informatik zugrunde liegen. ... Andererseits ist sie eingängiger als die Mathematik, da hinter ihren Fragestellungen immer wieder praktische Probleme durchscheinen und da viele Lösungen als Algorithmen formulierbar, ja sogar als Programme realisierbar sind, mit denen experimentiert werden kann, um Beispiele oder Gegenbeispiele für allgemeine Aussagen zu gewinnen. ... Zur Bereitstellung von Hintergrundwissen und als Handbuch in der Lehrerbibliothek kann es ... doch sehr nützlich sein." (in: LOG IN, 2008, Issue 153, S. 83)
EAN: 9783540763192
ISBN: 3540763198
Untertitel: Eine umfassende Einführung. 'eXamen. press'. 3. , erweiterte Auflage. 115 schw. -w. Abbildungen.
Verlag: Springer-Verlag GmbH
Erscheinungsdatum: März 2008
Seitenanzahl: XV
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben