Overview
- Einführung in die Sprache und Vorgehensweise der Theoretischen 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 chapters)
-
Einleitung
-
Begriffe und Notationen
-
Eine kurze Einführung in die Aussagenlogik
-
Berechenbarkeit
Keywords
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.
Authors and Affiliations
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-10429-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
eBook ISBN: 978-3-662-10429-3Published: 14 March 2013
Series ISSN: 0937-7433
Series E-ISSN: 2512-5214
Edition Number: 1
Number of Pages: X, 433
Number of Illustrations: 1 b/w illustrations
Topics: Theory of Computation, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Mathematics of Computing, Mathematical Logic and Foundations