Authors:
- 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: Springer-Lehrbuch (SLB)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 chapters)
-
Front Matter
-
Einleitung
-
Begriffe und Notationen
-
Eine kurze Einführung in die Aussagenlogik
-
Berechenbarkeit
-
Front Matter
-
-
Back Matter
About this book
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.
Authors and Affiliations
-
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Deutschland
Katrin Erk
-
Fachbereich Informatik, Universität Koblenz-Landau, Koblenz, USA
Lutz Priese
Bibliographic Information
Book Title: Theoretische Informatik
Book Subtitle: Eine umfassende Einführung
Authors: Katrin Erk, Lutz Priese
Series Title: Springer-Lehrbuch
DOI: https://doi.org/10.1007/978-3-662-10428-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2002
eBook ISBN: 978-3-662-10428-6Published: 17 April 2013
Series ISSN: 0937-7433
Series E-ISSN: 2512-5214
Edition Number: 2
Number of Pages: X, 467
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Mathematics of Computing, Combinatorics