Overview
- Authors:
-
-
Harold Abelson
-
Department of Electrical Engineering and Computer Science, MIT, Cambridge, USA
-
Gerald Jay Sussman
-
Department of Electrical Engineering and Computer Science, MIT, Cambridge, USA
-
Julie Sussman
-
Arlington, USA
Access this book
Other ways to access
Table of contents (5 chapters)
-
-
- Harold Abelson, Gerald Jay Sussman, Julie Sussman
Pages 1-81
-
- Harold Abelson, Gerald Jay Sussman, Julie Sussman
Pages 83-198
-
- Harold Abelson, Gerald Jay Sussman, Julie Sussman
Pages 199-350
-
- Harold Abelson, Gerald Jay Sussman, Julie Sussman
Pages 351-459
-
- Harold Abelson, Gerald Jay Sussman, Julie Sussman
Pages 461-603
-
Back Matter
Pages 605-651
About this book
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.
