Advertisement

Formale Beschreibungsverfahren der Informatik

Ein Arbeitsbuch für die Praxis

  • Authors
  • Helmut Eirund
  • Bernd Müller
  • Gerlinde Schreiber

Part of the Informatik & Praxis book series (I&P)

Table of contents

  1. Front Matter
    Pages 1-8
  2. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 9-11
  3. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 13-34
  4. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 35-53
  5. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 55-81
  6. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 83-93
  7. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 95-107
  8. Helmut Eirund, Bernd Müller, Gerlinde Schreiber
    Pages 109-119
  9. Back Matter
    Pages 121-124

About this book

Introduction

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface.
Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.

Keywords

Algorithmen Aussagenlogik Automaten Informatik formale Sprache formale Sprachen mathematische Grundlagen

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-80103-6
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2000
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-02643-3
  • Online ISBN 978-3-322-80103-6
  • Series Print ISSN 1615-8245
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications