Skip to main content
  • Textbook
  • Jan 2007

Die Macht der Abstraktion

Einführung in die Programmierung

  • Der fundierte Einstieg in die Programmierung

Part of the book series: XLeitfäden der Informatik (XLINF)

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 chapters)

  1. Front Matter

    Pages i-4
  2. Rekursion

    Pages 67-86
  3. Zeitabhängige Modelle

    Pages 121-132
  4. Abstrakte Datentypen

    Pages 133-152
  5. Binäre Bäume

    Pages 153-174
  6. Zuweisungen und Zustand

    Pages 175-202
  7. Logische Kalküle

    Pages 225-236
  8. Der λ-Kalkül

    Pages 237-252
  9. Back Matter

    Pages 287-321

About this book

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.

About the authors

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

Bibliographic Information