Overview
- Grundlegende Einführung
- Viele Beispiele und Aufgaben erleichtern das Verständnis
- Hervorragend zum Selbststudium geeignet
- Zum Testen selbst geschriebener Programme kann ein Compiler vom Server des Autors heruntergeladen werden
Part of the book series: Springer-Lehrbuch (SLB)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt:
Welche Probleme sind algorithmisch lösbar? (Theorie der Berechenbarkeit und Entscheidbarkeit)
Wie schwierig ist es algorithmische Probleme zu lösen? (Theorie der Berechnungskomplexität, NP-Theorie)
Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten)
Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen)
In der Erarbeitung dieser Themen wird der Abstraktionsprozeß von den realen Gegenständen der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z.B. Random-Access-Maschinen, Turingmaschinen und endliche Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der über sie gewonnenen Erkenntnisse für die Praxis leisten können.
Authors and Affiliations
Bibliographic Information
Book Title: Theoretische Informatik
Book Subtitle: Eine kompakte Einführung
Authors: Klaus W. Wagner
Series Title: Springer-Lehrbuch
DOI: https://doi.org/10.1007/978-3-642-55452-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-01313-6Published: 11 August 2003
eBook ISBN: 978-3-642-55452-0Published: 11 March 2013
Series ISSN: 0937-7433
Series E-ISSN: 2512-5214
Edition Number: 2
Number of Pages: X, 227
Topics: Computer System Implementation, Mathematical Logic and Foundations, Programming Techniques, Theory of Computation, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs