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

Best compilers books

Automatic Quantum Computer Programming: A Genetic Programming Approach

Computerized Quantum computing device Programming presents an creation to quantum computing for non-physicists, in addition to an creation to genetic programming for non-computer-scientists. The e-book explores a number of ways that genetic programming can aid automated quantum machine programming and provides exact descriptions of particular thoughts, in addition to a number of examples in their human-competitive functionality on particular difficulties.

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

This quantity encompasses a choice of papers provided on the fifteenth foreign convention on purposes of Declarative Programming and data M- agement, INAP 2004, and the 18th Workshop on good judgment Programming, WLP 2004, that have been held together in Potsdam, Germany, from March 4th to sixth, 2004. Declarative programming is a sophisticated paradigm for the modeling and fixing of advanced difficulties.

Programming Methodology

The second one half the 20th century observed an striking bring up in computing strength; at the present time pcs are unbelievably swifter than they was once, they've got extra reminiscence, they could converse frequently with distant machines worldwide - and so they can healthy on a computer. yet, regardless of this amazing development, the voracity of modem functions and consumer expectancies nonetheless pushes know-how correct to the restrict.

IntelliJ IDEA Essentials

Boost greater software program speedy with IntelliJ inspiration approximately This BookTailor IntelliJ suggestion on your wishes and to the calls for of your projectsUse IDEA's robust software program improvement instruments to their fullest potentialExplore IntelliJ IDEA's striking and huge positive aspects and functionalities for profitable software program developmentWho This booklet Is ForThis booklet is for builders who are looking to paintings smarter to allow them to concentration their efforts at the information that may provide them the virtue.

Additional info for Abstraktion - Einfuhrung in die Programmierung

Example text

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=? (nim-move-stack m) "right") (nim-score-left s) ) ) (cond ((string=?

Das kleinste Element von N wird mit 0 bezeichnet. 1 Natürliche Zahlen 3. h. (V^GN\{0}) (3^1 en) m

Zu einem Eintrag gehören die folgenden Informationen: der Auktionsgegenstand (als Zeichenkette), der höchste Bieter (auch eine Zeichenkette), das aktuelle Gebot und der Status der Auktion als Zeichenkette "open" oder "closed". Entwickle eine Prozedur, die einen Bieter, ein Gebot und einen Auktionseintrag konsumiert und einen neuen Eintrag zurückgibt. Falls das Gebot geringer ist als das Höchstgebot oder falls die Auktion geschlossen ist, wird der ursprüngliche Eintrag zurückgegeben. 11 Was wäre eine optimale Spielstrategie für Nim?

Download PDF sample

Rated 4.01 of 5 – based on 25 votes