Overview
- Fundierte Einführung in die Theoretische Informatik
- Verständlich geschrieben und gut lesbar
- Ausführliche Darstellung aller Beweise
- Includes supplementary material: sn.pub/extras
Part of the book series: eXamen.press (EXAMEN)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Diese 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 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.
Similar content being viewed by others
Keywords
Table of contents (15 chapters)
-
Einleitung
-
Begriffe und Notationen
-
Eine kurze Einführung in die Aussagenlogik
-
Berechenbarkeit
Reviews
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)
Authors and Affiliations
Bibliographic Information
Book Title: Theoretische Informatik
Book Subtitle: Eine umfassende Einführung
Authors: Katrin Erk, Lutz Priese
Series Title: eXamen.press
DOI: https://doi.org/10.1007/978-3-540-76320-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
eBook ISBN: 978-3-540-76320-8Published: 22 February 2008
Series ISSN: 1614-5216
Edition Number: 3
Number of Pages: XV, 485
Number of Illustrations: 115 b/w illustrations
Topics: Theory of Computation, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Mathematics of Computing, Mathematical Logic and Foundations