GERMAN

Theoretische Informatik: Eine umfassende Einführung

By Prof. Dr. Lutz Priese (auth.) , Katrin Erk

Book information

Publisher
Springer Berlin Heidelberg
Year
2002
ISBN
978-3-540-42624-0, 978-3-662-10428-6
DOI
10.1007/978-3-662-10428-6
Language
german
Format
PDF
Filesize
15 MB (15863261 bytes)
Series
Springer-Lehrbuch
Edition
2., erw. Aufl.
Pages
X, 467 S.\462
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Foundations; Mathematical L

Description

Diese Einf?hrung zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t 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, da alle Beweise im Detail ausgef?hrt sind. Damit bietet es zugleich eine Einf?hrung in die Technik des Beweisens. F?r Dozenten ist interessant, dass die Beweise nicht nur wie vielfach ?blich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausf?hrlich 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. Die Neuauflage wurde um theoretische Grundlagen f?r Quantenrechner erg?nzt.

Similar books