Herbert Klaeren's Abstraktion - Einfuhrung in die Programmierung PDF

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 Online or Download Abstraktion - Einfuhrung in die Programmierung PDF

Best compilers books

New PDF release: Optimized ASIP Synthesis from Architecture Description

For the 1st time advances in semiconductor production don't bring about a corresponding bring up in functionality. At sixty five nm and lower than it really is expected that just a small part of functionality raise should be attributed to shrinking geometries whereas the lion proportion is because of cutting edge processor architectures.

Download e-book for iPad: Java unter Lotus Domino: Know-how fur die by Thomas Ekert

In diesem Buch wird auf die Besonderheiten der Java-Anwendungsentwicklung unter Domino eingegangen. Es liefert dem erfahrenen Java-Programmierer, der neu in der Domino-Welt ist, einen reichhaltigen Wissensschatz, der weit ? ber die reine Dokumentation der Domino-Java-API hinausgeht. Anleitungen und Best-Practice-Beispiele aus realen Projekten, sowie instruments und vorgefertigte Klassen sind ebenso vorhanden, wie die neuen criteria unter Domino.

Download PDF by Jan A Bergstra, Cornelis A. Middelburg: Instruction Sequences for Computer Science

This booklet demonstrates that the idea that of an guideline series bargains a singular and precious standpoint on matters when it comes to assorted matters in computing device technology. chosen matters when it comes to recognized topics from the idea of computation and the realm of computing device structure are carefully investigated during this booklet pondering when it comes to guide sequences.

Get Fundamental Approaches to Software Engineering: 13th PDF

This ebook constitutes the refereed lawsuits of the thirteenth overseas convention on basic techniques to software program Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as a part of ETAPS 2010, the eu Joint meetings on idea and perform of software program. The 25 papers offered have been conscientiously reviewed and chosen from 103 submissions.

Extra resources for Abstraktion - Einfuhrung in die Programmierung

Sample text

Nim-move-stack m) "right") ... (nim-score-left s) ... (nim-score-right s) ... )) (cond ((string=? (nim-move-stack m) "left") ... (nim-score-left s) ... (nim-score-right s) ... 6 Gemischte Daten 49 {(string=? (nim-move-stack m) "right") ... (nim-score-left s) ... (nim-score-right s) ... ))))) Die fertige Prozedur ist ebenso korrekt und sieht so aus: (define apply-nim-move (lambda (s m) (make-nim-score (cond ((string=? (nim-move-stack m) "left") (- (nim-score-left s) (nim-move-count m))) ((string=?

Beim Entwurf einer Record-Definition hilft es, mit der formellen Datendefinition anzufangen, die ausführlich beschreibt, was für Komponenten die Daten haben. Für Schoko-Kekse sieht diese Datendefinition folgendermaßen aus: Ein Schokokeks ist ein Wert (make-chocolate-CGokie x y) bei dem x und y Zahlen sind, die Schoko- und Keks-Anteil des Schokokekses darstellen. Hier ist die Datendefinition für kartesische Koordinaten: Eine kartesische Koordinate ist ein Wert (make-cartesian x y) bei dem x und y Zahlen sind, die X- und Y-Anteil der Koordinate darstellen.

Trotzdem ist es überraschend schwierig die Menge der natürlichen Zahlen präzise und formal zu beschreiben. B. die Dezimaldarstellung, in der die Zahlen mit 0, 1,2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ... bezeichnet sind, die römischen Zahlen (da gibt es keine 0) mit I, II, III, IV, V, VI, VII, VIII, IX, X, XI, .. und die Strichdarstellung (ebenfalls Probleme mit der 0, da steht einfach nichts): , I, ||, |||, ||||, |||||, ||||||, |||||||, .... Diese Darstellungen eignen sich sämtlich nicht für eine Definition der natürlichen Zahlen.

Download PDF sample

Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren


by Richard
4.4

Rated 4.99 of 5 – based on 4 votes