Theoretische Informatik : Eine umfassende Einführung /

Saved in:
Bibliographic Details
Author / Creator:Erk, Katrin.
Edition:3., erweiterte Auflage.
Imprint:Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Language:German
Series:eXamen.press, 1614-5216
Subject:Combinatorial analysis
Computer science
Computer software
Logic, Symbolic and mathematical
Format: E-Resource
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/6695636
Hidden Bibliographic Details
Other authors / contributors:Priese, Lutz.
SpringerLink (Online service)
ISBN:9783540763208
Description
Summary:

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.

ISBN:9783540763208