Skip to main content
  • Textbook
  • © 1997

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen

Authors:

  • Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums"
  • Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom
  • Beschreibung des Zusammenhangs zwischen Algorithmenentwicklung und den theoretischen Grundlagen

Part of the book series: Springer-Lehrbuch (SLB)

Buy it now

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xii
  2. Berechenbarkeit

    • Gerhard Goos
    Pages 1-50
  3. Komplexitätstheorie

    • Gerhard Goos
    Pages 51-76
  4. Formale Sprachen

    • Gerhard Goos
    Pages 77-144
  5. Programmtransformationen

    • Gerhard Goos
    Pages 145-172
  6. Spezifikationstechniken: Die Z Notation

    • Gerhard Goos
    Pages 173-216
  7. Back Matter

    Pages 273-284

About this book

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.

Authors and Affiliations

  • Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Karlsruhe, Germany

    Gerhard Goos

Bibliographic Information

Buy it now

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access