Blick ins Buch

Die Macht der Abstraktion

Einführung in die Programmierung

Herbert Klaeren, Michael Sperber (Autoren)

Buch | Softcover

VIII, 324 Seiten

2007 | 2007
Vieweg & Teubner (Verlag)
978-3-8351-0155-5 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

"Die Macht der Abstraktion" ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, die die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung der Konstruktionsanleitungen ermöglichen. In der Betonung systematischer Konstruktion unterscheidet sich dieses Buch drastisch von den meisten anderen Einführungen in die Programmierung.Die vermittelten Grundlagen und Techniken sind unabhängig von einer bestimmten Programmiersprache. Zur Illustration und zum Training der Programmierung dient Scheme, eine kleine und leicht erlernbare Programmiersprache, die es erlaubt, die Konzepte der Programmierung zu präsentieren, ohne Zeit mit der Konstruktvielfalt anderer Programmiersprachen zu verlieren. Entsprechend vermittelt dieses Buch fortgeschrittene Techniken. Scheme-Könner sind in der Lage, andere Programmiersprachen in kürzester Zeit zu erlernen.

Prof. Dr. Herbert Klaeren, Universität Tübingen
Dr. Michael Sperber, freiberufl. Software-Entwickler

Was ist Informatik? - Elemente des Programmierens - Fallunterscheidungen und Verzweigungen - Zusammengesetzte und gemischte Daten - Induktive Definitionen - Rekursion - Praktische Programme mit Listen - Higher-Order-Programmierung - Zeitabhängige Modelle - Abstrakte Datentypen - Binäre Bäume - Zuweisung und Zustand - Objektorientiertes Programmieren - Logische Kalküle - Der Lambda-Kalkül - Interpretation von Scheme

Erscheint lt. Verlag	16.1.2007
Reihe/Serie	XLeitfäden der Informatik
Zusatzinfo	VIII, 324 S. Mit Online-Extras.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	168 x 240 mm
Gewicht	560 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Schlagworte	Computerprogramme • Datenabstraktion • Higher-Order-Programmierung • Informatik • Lambda-Kalkül • Mathematische Grundlagen • Programmieren • Programmiersprache • Programmierung • Rekursion • Scheme
ISBN-10	3-8351-0155-2 / 3835101552
ISBN-13	978-3-8351-0155-5 / 9783835101555
Zustand	Neuware