Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung

✍ Scribed by Harold Abelson, Gerald Jay Sussman, Julie Sussman (auth.)

Publisher: Springer Berlin Heidelberg
Year: 1998
Tongue: German
Leaves: 699
Series: Springer-Lehrbuch
Edition: Ursprünglich monographisch erschienen3., überarb. Aufl.
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Die Neuauflage der bew?hrten und weltweit in der Lehre eingesetzten Einf?hrung in die Informatik, entstanden am renommierten Massachusetts Institute of Technology (MIT), wurde sorgf?ltig ?berarbeitet und insbesondere um verschiedene Ans?tze erweitert, die die Zeit in Rechenmodellen ber?cksichtigen: Zustandsobjekte, nebenl?ufige Programmierung, funktionale Programmierung und verz?gerte Auswertung (lazy evaluation) sowie nichtdeterministische Programmierung. Hinzu kommen neue Beispiele und ?bungen zu Prozeduren h?herer Ordnung in der Computergraphik und zu Anwendungen der Datenstromorganisation in der numerischen Programmierung. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.

✦ Table of Contents

Front Matter....Pages i-xxiii
Konstruktion von Abstraktionen mit Prozeduren....Pages 1-80
Konstruktion von Abstraktionen mit Daten....Pages 81-224
Modularität, Objekte und Zustände....Pages 225-373
Metalinguistische Abstraktion....Pages 375-511
Rechnen mit Registermaschinen....Pages 513-638
Back Matter....Pages 639-682

✦ Subjects

Programming Languages, Compilers, Interpreters; Data Structures; Programming Techniques; Artificial Intelligence (incl. Robotics)

📜 SIMILAR VOLUMES

Struktur und Interpretation von Computer

📁 Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung

✍ Harold Abelson, Gerald Jay Sussman, Julie Sussman (auth.) 📂 Library 📅 2001 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p>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 zu

Struktur und Interpretation von Computer

📁 Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung

✍ Harold Abelson, Gerald Jay Sussman, Julie Sussman (auth.) 📂 Library 📅 1993 🏛 Springer Berlin Heidelberg 🌐 German

Diese moderne Einf?hrung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und repr?sentiert den dortigen Ausbildungsstandard f?r Studenten der Informatik und der Elektrotechnik. Das ganzheitliche Verst?ndnis der Informatik unter Einbeziehung der K?nstlichen Inte

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Dr. Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p><P>Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugle

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Dr. Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

Theoretische Informatik: Eine algorithme

📁 Theoretische Informatik: Eine algorithmenorientierte Einführung

✍ Prof. Dr. math. Ingo Wegener (auth.) 📂 Library 📅 1999 🏛 Vieweg+Teubner Verlag 🌐 German

Diese Einf?hrung in die zentralen Gebiete der Theoretischen Informatik kann als Text f?r eine Vorlesung im Grundstudium dienen. Es wird konsequent eine algorithmenorientierte Sichtweise eingenommen, d.h. die konstruktiven Ergebnisse<br> werden in Algorithmen umgesetzt, die praktisch und theoretisch

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German

Diese Einf?hrung in die Theoretische Informatik zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen ?berblick ?ber die Komplexit?tstheorie. Das Buch eignet sich insbesondere f?r Anf?nger: Alle Beweise s