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

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.