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

Diese moderne EinfA1/4hrung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und reprAsentiert den dortigen Ausbildungsstandard fA1/4r Studenten der Informatik und der Elektrotechnik. Das ganzheitliche VerstAndnis der Informatik unter Einbeziehung der KA1/4nstlichen Intelligenz, das in diesem Buch vermittelt wird, hat es weltweit zu einer beliebten Grundlage fA1/4r die EinfA1/4hrungsvorlesung gemacht. Zur Notation der Programme wird Scheme verwendet, ein Dialekt der Programmiersprache Lisp, der die LeistungsfAhigkeit und die Eleganz von Lisp und Algol verbindet. Die Besonderheit dieser einfA1/4hrenden Vorlesung beruht auf zwei GrundA1/4berzeugungen: 1. Eine Computersprache ist nicht einfach ein Weg, einen Computer zur AusfA1/4hrung von Operationen zu bewegen, sondern vielmehr ein neuartiges Medium, um Vorstellungen A1/4ber Verfahrensweisen auszudrA1/4cken. So mA1/4ssen Programme geschrieben werden, damit Menschen sie lesen und modifizieren, und nur in zweiter Linie, damit Maschinen sie ausfA1/4hren kAnnen. 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 KomplexitAt groAer Softwaresysteme unter Kontrolle gehalten werden kann.