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.

Produktinformation

Utgivningsdatum:1997-09-12
Mått:155 x 235 x 17 mm
Vikt:458 g
Format:Häftad
Språk:Tyska
Serie:Springer-Lehrbuch
Antal sidor:284
Upplaga:1997
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540606550

Utforska kategorier

Innehållsförteckning

13 Berechenbarkeit.- 13.1 Der Algorithmusbegriff und die CHuxcxsche These.- 13.2 loop-, while-und goto-Algorithmen.- 13.3 Turingmaschinen.- 13.4 Primitiv undµ-rekursive Funktionen.- 13.5 Das Postsche Korrespondenzproblem.- 13.6 Anmerkungen und Verweise.- 14 Komplexitätstheorie.- 14.1 Klassifikation.- 14.2 Beispielprobleme.- 14.3 Die KlasseNP.- 14.4 Weitere Komplexitätsklassen.- 14.5 Anmerkungen und Verweise.- 15 Formale Sprachen.- 15.1 Reguläre Sprachen und endliche Automaten.- 15.2 Kontextfreie Sprachen.- 15.3 Kontextsensitive Sprachen.- 15.4 Anmerkungen und Verweise.- 16 Programmtransformationen.- 16.1 Transformationsschemata.- 16.2 Elementare Transformationsregeln.- 16.3 Entrekursivierung.- 16.4 Transformation in rechtsrekursive Form.- 16.5 Beispiele.- 16.6 Anmerkungen und Verweise.- 17 Spezifikationstechniken: Die Z Notation.- 17.1 Spezifikation und Systementwicklung.- 17.2 Grundbegriffe der Z Notation.- 17.3 Datenstrukturen.- 17.4 Verfeinerung.- 17.5 Beispiel Fertigungszelle.- 17.6 Anmerkungen und Verweise.- 18 Ablaufspezifikationen, Synchronisierung und Kommunikation.- 18.1 Grundbegriffe vonStatecharts.- 18.2 Spezifikation einer digitalen Armbanduhr.- 18.3 Konstruktionsprinzipien.- 18.4 Synchrone und asynchrone Kommunikation.- 18.5 Kanäle.- 18.6 Anmerkungen und Verweise.- Programmverzeichnis.- Stichwortverzeichnis.

Mer från samma författare

Compiler Construction

Gerhard Goos, William M. Waite

E-bok

2012

732 kr

Compiler Construction

William M. Waite, Gerhard Goos

Häftad, 2013

566 kr

Vorlesungen über Informatik

Wolf Zimmermann, Gerhard Goos

E-bok

2006

105 kr

Vorlesungen über Informatik

Wolf Zimmermann, Gerhard Goos

E-bok

2006

272 kr

Informatik 1

Friedrich L. Bauer, Gerhard Goos, Friedrich L. Bauer, Walter Dosch

Häftad, 1991

320 kr

Informatik 2

Friedrich L. Bauer, Gerhard Goos, Friedrich L. Bauer, W. Dosch

Häftad, 1992

320 kr

Informatik 2

Gerhard Goos, Friedrich L. Bauer

E-bok

2013

203 kr

Informatik 1

Gerhard Goos, Friedrich L. Bauer

E-bok

2013

203 kr

Programmiermethodik mit Ada

Gerhard Goos, Guido Persch, Jürgen Uhl

Häftad, 2011

581 kr

Informatik

Gerhard Goos, F. L. Bauer

E-bok

2013

553 kr

Mer från samma serie

Sozialpsychologie

Johannes Ullrich, Wolfgang Stroebe, Miles Hewstone

Inbunden, 2023

644 kr

Robotik: Programmierung intelligenter Roboter

Hans-Jürgen Siegert, Siegfried Bocionek

Häftad, 1996

463 kr

Werkstoffkunde

Hans-Jürgen Bargel

Inbunden, 2022

767 kr

Biologie für Mediziner

Werner Buselmaier, Joana Haussig

Häftad, 2018

404 kr

Teilchen und Kerne

Bogdan Povh, Klaus Rith, Christoph Scholz, Frank Zetsche, Werner Rodejohann

Häftad, 2013

514 kr

Recht der Ordnungswidrigkeiten

Wolfgang Mitsch

Häftad, 2005

361 kr

Rechnerorganisation

Hans Liebig

Häftad, 2003

514 kr

Empirische Wirtschaftsforschung

Thomas K. Bauer, Michael Fertig, Christoph M. Schmidt

Häftad, 2009

514 kr

Vergleichende Tierphysiologie

Gerhard Heldmaier, Gerhard Neuweiler

Inbunden, 2003

1 156 kr

Komplexitätstheorie

Ingo Wegener

Häftad, 2003

738 kr

Du kanske också är intresserad av

Vorlesungen über Informatik

Gerhard Goos

E-bok

2013

553 kr

Del 28

XIVth International Symposium on Medicinal Chemistry

F. Awouters

Inbunden, 1997

2 363 kr

Vorlesungen über Informatik

Gerhard Goos

E-bok

2013

553 kr

Technology for the United States Navy and Marine Corps, 2000-2035: Becoming a 21st-Century Force

National Research Council, and Applications Commission on Physical Sciences, Mathematics, Naval Studies Board, Committee on Technology for Future Naval Forces, Panel on Information in Warfare

Häftad, 1997

1 486 kr