By Herbert Klaeren

"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 representation und zum education 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.

Show description

Read or Download Die Macht der Abstraktion : Einführung in die Programmierung PDF

Similar compilers books

The Definitive Guide to SugarCRM: Better Business Applications (Books for Professionals by Professionals)

SugarCRM is one in all if now not the top Open resource CRM resolution available to buy at five. five million downloads and becoming and with approximately 17,000 registered builders and plenty extra clients. this may be the legitimate, definitive e-book written by way of SugarCRM and recommended via SugarCRM. additionally, this booklet will be additionally the single SugarCRM developer publication that allows you to deal with the platform similar good points seeing that SugarCRM five.

Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook

As details applied sciences turn into more and more dispensed and available to bigger variety of humans and as advertisement and executive corporations are challenged to scale their purposes and prone to bigger industry stocks, whereas lowering expenses, there's call for for software program methodologies and appli- tions to supply the subsequent positive aspects: Richer program end-to-end performance; aid of human involvement within the layout and deployment of the software program; Flexibility of software program behaviour; and Reuse and composition of latest software program functions and structures in novel or adaptive methods.

Numeric Computation and Statistical Data Analysis on the Java Platform

Numerical computation, wisdom discovery and statistical info research built-in with robust second and 3D photographs for visualisation are the main issues of this publication. The Python code examples powered by means of the Java platform can simply be reworked to different programming languages, resembling Java, Groovy, Ruby and BeanShell.

Extra info for Die Macht der Abstraktion : Einführung in die Programmierung

Sample text

Im Winter liegt eine milde Temperatur meist zwischen 4° und 12°. Eine Prozedur, die diesen Tatbestand erfaßt, könnte folgende Beschreibung und Vertrag haben: ; feststellen, ob Temperatur mild ist ; temperature-mild? : number -> boolean Das Fragezeichen am Ende eines Namens wird in Scheme häufig benutzt, um anzudeuten, daß die Prozedur einen booleschen Wert zurückliefert, der eine Ja/Nein-Frage beantwortet. Die Sorte boolean steht für einen Wert, der #t oder #f sein kann. 3 32 Weitere boolesche Operatoren Das Gerüst sieht vertragsgemäß so aus: (define temperature-mild?

G N ist w V 04. Aus n' = m' folgt n = m. 5. Eine Menge M von natürlichen Zahlen, welche die 0 enthält und mit jeder Zahl m GM auch deren Nachfolger m\ ist mit N identisch. Das besondere an dieser Art Definition ist, daß sie ein Konstruktionsverfahren nahelegt. Deshalb benötigt sie keinen expliziten Beweis, daß es die solchermaßen definierten mathematischen Objekte wirklich gibt: • Die 0 ist als Element vorgegeben und stellt damit eine Verankerung für die Definition dar. • Ausgehend von dieser Verankerung beschreibt die zweite Bedingungen ein Erzeugungsverfahren für die Konstruktion weiterer Elemente.

Umgekehrt nehmen manche Genießer die beiden Teile vor dem Verzehr wieder auseinander, zum Beispiel um den KeksAnteil in Milch zu tauchen. Diese Operationen werden auch für die Darstellungen von Schokokeksen im Computer benötigt. In der DrScheme-Sprachebene Die Macht der Abstraktion - Anfänger sind Schokokekse schon eingebaut. Ein Schokokeks mit Schoko-Anteil 12 und Keks-Anteil 14 wird folgendermaßen hergestellt: (make-chocolate-CGokie 12 14) ^^ # Die Prozedur make-chocolate-cookie hat folgenden Vertrag: ; make-chocolate-cookie : number number -> chocolate-cookie Sie macht also aus zwei Zahlen einen Wert der eingebauten Sorte chocolate-cookie der Schokokeks-Records.

Download PDF sample

Rated 4.16 of 5 – based on 31 votes