Download PDF by Herbert Klaeren: Abstraktion - Einfuhrung in die Programmierung

By Herbert Klaeren

ISBN-10: 3519005050

ISBN-13: 9783519005056

ISBN-10: 3835100645

ISBN-13: 9783835100640

ISBN-10: 3835101552

ISBN-13: 9783835101555

"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 Abstraktion - Einfuhrung in die Programmierung PDF

Best compilers books

Jan Paredaens, Paul De Bra, Marc Gyssens, Dirk Van Gucht's The Structure of the Relational Database Model PDF

This booklet provides an outline of the main primary features of the speculation that underlies the Relational Database version. As such it really is self-contained although event with formal versions and summary facts manipulating at the one hand and with the sensible use of a relational procedure nonetheless might help the reader.

Download e-book for iPad: Fortran 95 Language Guide by Wilhelm Gehrke

Fortran is without doubt one of the most generally used programming languages in technological know-how and engineering. Fortran ninety changed the superseded FORTRAN seventy seven in 1991 and this contemporary model of the overseas ordinary complements this model. it is usually a number of new positive factors to make sure that Fortran is still aligned with excessive functionality Fortran (HPF) for parallel machine architectures.

Read e-book online JavaScript Frameworks for Modern Web Dev PDF

JavaScript Frameworks for contemporary net Dev is your consultant to the wild, immense, and untamed frontier that's JavaScript improvement. The JavaScript tooling panorama has grown and matured greatly long ago a number of years. This publication will function an advent to either new and good tested libraries, frameworks, and utilities that experience won well known traction and aid from pro builders.

Additional resources for Abstraktion - Einfuhrung in die Programmierung

Example text

Nim-score-right s) ... 5 Ein erweitertes Beispiel für zusammengesetzte Daten • • Wie viele Münzen sind hinterher auf dem Hnken Stapel? Wie viele Münzen sind hinterher auf dem rechten Stapel? Hier das Ergebnis: (define apply-nim-move (lambda (s m) (cond ((string=? (nim-move-stack m) "left") (make-nim-score (- (nim-score-left s) (nim-move-count m)) (nim-score-right s))) ((string=? (nim-move-stack m) "right") (make-nim-score (nim-score-left s) (- (nim-score-right s) (nim-move-count m))))))) Die apply-nim-move-Prozedur verhält sich zum Beispiel folgendermaßen: (apply-nim-move (make-nim-score 5 6) (make-nim-move "left" 3)) ^^ # (apply-nim-move (make-nim-score 5 6) (make-nim-move "right" 4)) ^^ # In dieser Lösung wurde die Schablone primär nach der Anleitung für Fallunterscheidungen strukturiert, und die Konstruktion der Records wurde in beide Zweige kopiert.

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.

Als nächstes ist make-cartesian der Konstruktor für kartesische Koordinaten. Da c a r t e s i a n zwei Komponenten (X- und Y-Koordinate) hat, akzeptiert der Konstruktor auch zwei Argumente. Der Vertrag von make-cartesian ist also: ; make-cartesian : number number -> cartesian Hier sind zwei Beispiele für die Benutzung des Konstruktors: (make-cartesian 17 23) ^^ # (make-cartesian 42 -42) ^^ # • Mit cartesian? wird das Prädikat des Record-Typs definiert.

Download PDF sample

Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren


by Michael
4.2

Rated 4.34 of 5 – based on 4 votes