Overview

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlösen mit Registermaschinen werden verschiedene Programmierparadigmen entwikckelt und die effektive Handhabung von Komplexität gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.

Full Product Details

Author:   S. Daniels-Herold ,  Joseph S. Sussman ,  A.J. Perlis ,  Harold Abelson
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   4. Auflage 2001
Dimensions:   Width: 15.50cm , Height: 3.70cm , Length: 23.50cm
Weight:   2.150kg
ISBN:  

9783540423423

ISBN 10:   3540423427
Pages:   682
Publication Date:   11 September 2001
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

1 Konstruktion von Abstraktionen mit Prozeduren.- 1.1 Die Programmelemente.- 1.2 Prozeduren und Prozesse.- 1.3 Abstraktionen mit Prozeduren höherer Ordnung.- 2 Konstruktion von Abstraktionen mit Daten.- 2.1 Einführung in die Datenabstraktion.- 2.2. Datenhierarchien und Abgeschlossenheit.- 2.3 Symbole.- 2.4. Mehrfachdarstellungen abstrakter Daten.- 2.5 Systeme mit generischen Operationen.- 3 Modularität, Objekte und Zustände.- 3 Zuweisungen und lokale Zustände.- 3.2 Das Umgebungsmodell der Auswertung.- 3.3 Modelle mit veränderbaren Daten.- 3.4 Gleichzeitigkeit: Zeit ist das Wesentliche.- 3.5 Datenströme.- 4 Metalinguistische Abstraktion.- 4 Der metazirkuläre Evaluator.- 4.2 Variationen zu einem Schema — Auswertung nach Vorschrift.- 4.3 Variationen zu einem Schema — nondeterministische Berechnung.- 4.4 Logikprogrammierung.- 5 Rechnen mit Registermaschinen.- 5.1 Entwurf von Registermaschinen.- 5.2 Ein Simulator für Registermaschinen.- 5.3 Speicherzuteilung und Speicherbereinigung.- 5.4 Der Evaluator mit expliziter Steuerung.- 5.5 Übersetzen.- Appendix zur deutschen Auflage.- Verzeichnis der Übungen.- Stichwortverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions