𝔖 Scriptorium
✦   LIBER   ✦

📁

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

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


Publisher
Springer Berlin Heidelberg
Year
1993
Tongue
German
Leaves
664
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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 Intelligenz, das in diesem Buch vermittelt wird, hat es weltweit zu einer beliebten Grundlage f?r die Einf?hrungsvorlesung gemacht. Zur Notation der Programme wird Scheme verwendet, ein Dialekt der Programmiersprache Lisp, der die Leistungsf?higkeit und die Eleganz von Lisp und Algol verbindet. Die Besonderheit dieser einf?hrenden Vorlesung beruht auf zwei Grund?berzeugungen: 1. Eine Computersprache ist nicht einfach ein Weg, einen Computer zur Ausf?hrung von Operationen zu bewegen, sondern vielmehr ein neuartiges Medium, um Vorstellungen ?ber Verfahrensweisen auszudr?cken. So m?ssen Programme geschrieben werden, damit Menschen sie lesen und modifizieren, und nur in zweiter Linie, damit Maschinen sie ausf?hren k?nnen. 2. Das Wesentliche bei einer Vorlesung auf diesem Niveau ist weder die Syntax von speziellen Sprachkonstruktionen, noch sind es raffinierte Algorithmen zur effizienten Berechnung bestimmter Funktionen oder gar die mathematische Analyse von Algorithmen oder die Grundlagen der Informatik, sondern vielmehr die Techniken, mit denen die geistige Komplexit?t gro?er Softwaresysteme unter Kontrolle gehalten werden kann.

✦ Table of Contents


Front Matter....Pages i-xxi
Konstruktion von Abstraktionen mit Prozeduren....Pages 1-81
Konstruktion von Abstraktionen mit Daten....Pages 83-198
Modularität, Objekte und Zustände....Pages 199-350
Metalinguistische Abstraktion....Pages 351-459
Rechnen mit Registermaschinen....Pages 461-603
Back Matter....Pages 605-651

✦ Subjects


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


📜 SIMILAR VOLUMES


Struktur und Interpretation von Computer
✍ Harold Abelson, Gerald Jay Sussman, Julie Sussman (auth.) 📂 Library 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German

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:

Struktur und Interpretation von Computer
✍ 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

Theoretische Informatik: Eine umfassende
✍ 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
✍ 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 algorithme
✍ 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
✍ 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