𝔖 Scriptorium
✦   LIBER   ✦
📁

Die Macht der Abstraktion: Einführung in die Programmierung

✍ Scribed by Prof. Dr. nat. Herbert Klaeren, Dr. rer. nat. Michael Sperber (auth.)

Publisher
Vieweg+Teubner Verlag
Year
2007
Tongue
German
Leaves
329
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

Scheme-Könner sind in der Lage, andere Programmiersprachen in kürzester Zeit zu erlernen!

"Die Macht der Abstraktion" ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, welche die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung besonders mächtiger 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, wie bei anderen Programmiersprachen, viel Zeit mit komplizierter Syntax oder großer Konstruktvielfalt zu verlieren. Entsprechend vermittelt dieses Buch fortgeschrittene Techniken.

✦ Table of Contents

Front Matter....Pages i-4
Was ist Informatik?....Pages 5-8
Elemente des Programmierens....Pages 9-26
Fallunterscheidungen und Verzweigungen....Pages 27-36
Zusammengesetzte und gemischte Daten....Pages 37-54
Induktive Definitionen....Pages 55-66
Rekursion....Pages 67-86
Praktische Programme mit Listen....Pages 87-106
Higher-Order-Programmierung....Pages 107-120
Zeitabhängige Modelle....Pages 121-132
Abstrakte Datentypen....Pages 133-152
Binäre Bäume....Pages 153-174
Zuweisungen und Zustand....Pages 175-202
Objektorientiertes Programmieren....Pages 203-224
Logische Kalküle....Pages 225-236
Der λ-Kalkül....Pages 237-252
Interpretation von Scheme....Pages 253-285
Back Matter....Pages 287-321

✦ Subjects

Theory of Computation

📜 SIMILAR VOLUMES

Java: Einführung in die objektorientiert
📁 Java: Einführung in die objektorientierte Programmierung
✍ Professor Dr. Martin Schader, Lars Schmidt-Thieme (auth.) 📂 Library 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German

Das vorliegende Buch ist eine Einf?hrung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere Kapitel befassen sich mit Applets und Benutzeroberfl?chen, der Ausnahmebehandlung, der Threadprogrammierung, mit Client-Se

Einführung in die Programmierung mit PAS
📁 Einführung in die Programmierung mit PASCAL
✍ Dr. Heinz-Erich Erbs, Otto Stolz (auth.) 📂 Library 📅 1984 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Programmierer operieren oft zeitlebens mit jener Sprache, die sie als erste erlernt haben. Diese Feststellung beruht nicht nur auf der viel zitierten menschlichen Bequemlichkeit, sondern weit mehr auf dem Umstand, daß die zuerst erlernte Sprache das Gerüst darstellt, an dem sich Gedanken konkreti