عنوان

Informatik 2 :

(Number (ISBN

3540555676

(Number (ISBN

3642581544

(Number (ISBN

9783540555674

(Number (ISBN

9783642581540

Number

b570957

Title Proper

Informatik 2 :

General Material Designation

[Book]

Other Title Information

Eine einführende Übersicht

First Statement of Responsibility

von Friedrich L. Bauer, Gerhard Goos.

Edition Statement

Vierte Auflage

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg : Imprint : Springer

Date of Publication, Distribution, etc.

1992

Series Title

Springer-Lehrbuch

Text of Note

Vorbemerkung --; 5. Blockstruktur und dynamische Speicherverteilung --; 5.1 Blöcke und Speicherverteilung --; 5.2 Prozeduren und Blockstruktur --; 6. Hintergrundspeicher und Verkehr mit der Außenwelt, Datenstrukturen, Speicherorganisation --; 6.1 Technische Charakteristika von Hintergrundspeichern und E/A-Geräten --; 6.2 Funktionelle Beschreibung von Hintergrundspeichern und E/A-Geräten --; 6.3 Einführung neuer Rechenstrukturen --; 6.4 Datenorganisation: Listen und Zeiger --; 6.5 Zeiger-Implementierungen organisierter Speicher --; 6.6 Implementierung organisierter Speicher mittels linearer Speicher --; 7. Formale Sprachen --; 7.1 Relationen und formale Systeme --; 7.2 Formale Sprachen über Zeichenfolgen --; 7.3 Strukturgraph und Strukturbaum eines Ersetzungswegs --; 7.4 Das Zerteilungsproblem --; 7.5 Berechenbarkeit und Entscheidbarkeit --; 8. Syntaktische und semantische Definition algorithmischer Sprachen --; 8.1 Syntax algorithmischer Sprachen --; 8.2 Operative Semantik --; 8.3 Zustandssemantik --; 8.4 Mathematische Semantik --; Ergônzende Literatur --; Namen- und Sachverzeichnis.

Text of Note

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.

Computer science.

von Friedrich L. Bauer, Gerhard Goos.

Friedrich L Bauer

Gerhard Goos

Electronic name

[Book]

Y