Download Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren PDF

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

Best compilers books

Linkers & Loaders

No matter what your programming language, no matter what your platform, you possibly faucet into linker and loader capabilities forever. yet have you learnt easy methods to use them to their maximum attainable virtue? merely now, with the book of Linkers & Loaders, is there an authoritative booklet committed totally to those deep-seated compile-time and run-time procedures.

Abstraktion - Einfuhrung in die Programmierung

"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.

Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen

Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur L? sung von Problemen, f? r die nur unvollst? ndige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu l? sen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch f?

Lisp Lore: A Guide to Programming the Lisp Machine

This booklet had its genesis within the following piece of desktop mail: From allegra! joan-b Tue Dec 18 09:15:54 1984 To: sola! hjb topic: lispm Hank, i have been speaking with Mark Plotnik and invoice Gale approximately asking you to behavior a uncomplicated path on utilizing the lisp computer. Mark, for example, would love to hide fundamentals just like the style procedure, and so on.

Additional info for Abstraktion - Einfuhrung in die Programmierung

Sample text

Dementsprechend soll die Funktion #t oder #f zurückgeben. Schreibe eine Prozedur time->seconds-since-midnight, die eine Uhrzeit konsumiert und die Anzahl der Sekunden seit Mittemacht zurückgibt. Schreibe eine Prozedur seconds-since-midnight- >time, welche die Anzahl der Sekunden seit Mittemacht konsumiert und eine Uhrzeit zurückgibt. 3 Schreibe eine Daten- und eine Record-Definition für Kalenderdaten (aus Jahr, Monat und Tag). 2004 unterscheidet. Lasse dazu Schaltjahre außer acht. 4 Schreibe Daten- und Record-Definitionen für Zeitpunkte.

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. Abgesehen davon, daß nicht formal klar ist, wofür die „... " am Ende der Listen jeweils stehen sollen, lenken die unterschiedlichen Darstellungen von der Frage ab, was eine natürliche Zahl denn nun wirklich ist.

O^ ausgewertet. Die Werte der Operanden sind die Argumente. Der Wert von p muß eine Prozedur sein. Diese Prozedur kann entweder aus dem Programm stammen oder eingebaut sein: • • • Wenn die Prozedur aus dem Programm stammt, ist der Wert des Operators die zugehörige lambda-Form. Zur Auswertung werden im Rumpf der Form die Parameter durch die Argumente ersetzt oder substituiert, und der entstehende Ausdruck wird ausgewertet. Wenn der Wert eine eingebaute Prozedur ist (wie +), wird die entsprechende Operation angewendet, also die Summe der Argumente, deren Produkt etc.

Download PDF sample

Rated 4.85 of 5 – based on 19 votes