Skip to main content
SpringerLink
Log in

Theoretische Informatik

Eine umfassende Einführung

  • Textbook
  • © 2002

Overview

Authors:
  1. Katrin Erk

    1. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Lutz Priese

    1. Fachbereich Informatik, Universität Koblenz-Landau, Koblenz, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Katrin Erk, Lutz Priese
      Pages 1-1

  3. Begriffe und Notationen

    1. Begriffe und Notationen

      • Katrin Erk, Lutz Priese
      Pages 3-34

  4. Eine kurze Einführung in die Aussagenlogik

    1. Eine kurze Einführung in die Aussagenlogik

      • Katrin Erk, Lutz Priese
      Pages 35-49

  5. Formale Sprachen

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Grammatiken und formale Sprachen

      • Katrin Erk, Lutz Priese
      Pages 53-61

    3. Reguläre Sprachen und endliche Automaten

      • Katrin Erk, Lutz Priese
      Pages 63-107

    4. Kontextfreie Sprachen

      • Katrin Erk, Lutz Priese
      Pages 109-163

    5. Turing-Maschinen

      • Katrin Erk, Lutz Priese
      Pages 165-193

    6. Die Sprachklassen ℒ, ℒ 0 und ℒ 1

      • Katrin Erk, Lutz Priese
      Pages 195-214

    7. Abschlußeigenschaften von Sprachklassen

      • Katrin Erk, Lutz Priese
      Pages 215-223

  6. Berechenbarkeit

    1. Front Matter

      Pages 225-225
      Download chapter PDF

    2. Einleitung

      • Katrin Erk, Lutz Priese
      Pages 227-231

    3. Registermaschinen

      • Katrin Erk, Lutz Priese
      Pages 233-251

    4. Rekursive Funktionen

      • Katrin Erk, Lutz Priese
      Pages 253-289

    5. Unentscheidbare Probleme

      • Katrin Erk, Lutz Priese
      Pages 291-324

    6. Alternative Berechnungsmodelle

      • Katrin Erk, Lutz Priese
      Pages 325-419

    7. Komplexität

      • Katrin Erk, Lutz Priese
      Pages 421-454

  7. Back Matter

    Pages 455-467
    Download chapter PDF
Back to top

Keywords

About this book

Diese Einführung in die Theoretische Informatik 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: 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.
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

Publish with us

Policies and ethics

Back to top

Search

Navigation