Advertisement

Theoretische Informatik

Eine problemorientierte Einführung

  • Volker Sperschneider
  • Barbara Hammer

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Volker Sperschneider, Barbara Hammer
    Pages 1-4
  3. Volker Sperschneider, Barbara Hammer
    Pages 5-10
  4. Volker Sperschneider, Barbara Hammer
    Pages 51-104
  5. Volker Sperschneider, Barbara Hammer
    Pages 105-130
  6. Volker Sperschneider, Barbara Hammer
    Pages 131-163
  7. Volker Sperschneider, Barbara Hammer
    Pages 165-182
  8. Back Matter
    Pages 183-199

About this book

Introduction

Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen.

Keywords

Algorithmen Automaten Berechenbarkeitstheorie Chomsky-Hierarchie Informatik Komplexität Komplexitätstheorie Kontextfreie Sprache Kontextsensitive Sprache Programmiersprache Programmverifikation Reguläre Sprache Semantik rekursive Funktion se

Authors and affiliations

  • Volker Sperschneider
    • 1
  • Barbara Hammer
    • 1
  1. 1.Fachbereich Mathematik/InformatikUniversität OsnabrückOsnabrückDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-80130-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60860-8
  • Online ISBN 978-3-642-80130-3
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site