Advertisement

Informatik 2

Eine einführende Übersicht

  • Friedrich L. Bauer
  • Gerhard Goos

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Friedrich L. Bauer, Gerhard Goos
    Pages 1-2
  3. Friedrich L. Bauer, Gerhard Goos
    Pages 3-28
  4. Friedrich L. Bauer, Gerhard Goos
    Pages 113-204
  5. Friedrich L. Bauer, Gerhard Goos
    Pages 205-267
  6. Back Matter
    Pages 268-345

About this book

Introduction

Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt. Zunächst werden Programmstrukturen und Datenstrukturen einschließlich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer Sprachen, mit einem Abschnitt über abstrakte Datentypen. Den Abschluß bilden die Anhänge "Korrespondenzen und Funktionen", "Datenendgeräte" und "Zur Geschichte der Informatik" sowie Syntaxdiagramme für die ALGOL 68- und die PASCAL-Notation, die im Buch verwendet werden.

Keywords

Algorithmen Automaten Datenstrukturen Einführung Geschichte der Informatik Implementierung Informatik Organisation Programmiersprache Programmierung Text Verifikation formale Sprache formale Sprachen

Authors and affiliations

  • Friedrich L. Bauer
    • 1
  • Gerhard Goos
    • 2
  1. 1.Mathematik und Informatik, Institut für InformatikTechnischen Universität MünchenMünchen 2
  2. 2.Institut für Programmstrukturen und DatenorganisationUniversität KarlsruheKarlsruhe

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-58154-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55567-4
  • Online ISBN 978-3-642-58154-0
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering