Theoretische Informatik
Eine umfassende Einführung
Buch in deiner Nähe kaufen
Beschreibung
Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugleich eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, unter anderem Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen.
Diese fundierte Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfasst 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, sondern die Autoren zusätzlich Nicht-Standard-Berechnungsmodelle vorstellen. Ihr Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.
Fundierte Einführung in die Theoretische Informatik Verständlich geschrieben und gut lesbar Ausführliche Darstellung aller Beweise Includes supplementary material: sn.pub/extras
Autor*in
Katrin Erk
Themen in »Theoretische Informatik«
Automaten Berechenbarkeit Entscheidbar Graph Komplexität Komplexitätstheorie Notation Registermaschine Sprachklasse Theorie der formalen Sprachen Turing-Maschine endlicher Automat formale Sprache kontextfreie Sprache reguläre Sprache
Stimmen zu »Theoretische Informatik«
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)
()