Read more
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.
List of contents
1 Konstruktion von Abstraktionen mit Prozeduren.- 1.1 Die Programmelemente.- 1.2 Prozeduren und Prozesse.- 1.3 Abstraktionen mit Prozeduren höherer Ordnung.- 2 Konstruktion von Abstraktionen mit Daten.- 2.1 Einführung in die Datenabstraktion.- 2.2. Datenhierarchien und Abgeschlossenheit.- 2.3 Symbole.- 2.4. Mehrfachdarstellungen abstrakter Daten.- 2.5 Systeme mit generischen Operationen.- 3 Modularität, Objekte und Zustände.- 3 Zuweisungen und lokale Zustände.- 3.2 Das Umgebungsmodell der Auswertung.- 3.3 Modelle mit veränderbaren Daten.- 3.4 Gleichzeitigkeit: Zeit ist das Wesentliche.- 3.5 Datenströme.- 4 Metalinguistische Abstraktion.- 4 Der metazirkuläre Evaluator.- 4.2 Variationen zu einem Schema - Auswertung nach Vorschrift.- 4.3 Variationen zu einem Schema - nondeterministische Berechnung.- 4.4 Logikprogrammierung.- 5 Rechnen mit Registermaschinen.- 5.1 Entwurf von Registermaschinen.- 5.2 Ein Simulator für Registermaschinen.- 5.3 Speicherzuteilung und Speicherbereinigung.- 5.4 Der Evaluator mit expliziter Steuerung.- 5.5 Übersetzen.- Appendix zur deutschen Auflage.- Verzeichnis der Übungen.- Stichwortverzeichnis.
About the author
Harold (Hal) Abelson is Class of 1922 Professor of Electrical Engineering and Computer Science at MIT and a Fellow of the IEEE. He holds an A.B. degree from Princeton University and a Ph.D. degree in mathematics from MIT. In 1992, Abelson was designated as one of MIT's six inaugural MacVicar Faculty Fellows, in recognition of his significant and sustained contributions to teaching and undergraduate education. Abelson was recipient in 1992 of the Bose Award (MIT's School of Engineering teaching award). Abelson is also the winner of the 1995 Taylor L. Booth Education Award given by IEEE Computer Society, cited for his continued contributions to the pedagogy and teaching of introductory computer science. Abelson has a broad interest in information technology and policy, and developed and teaches the MIT course Ethics and Law on the Electronic Frontier. He is a founding director of Creative Commons and Public Knowledge, and he was a founding director of the Free Software Foundation.
