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

Best compilers books

Virtual Machines - download pdf or read online

This ebook bargains a special perception into the construction of digital machines for sequential, object-oriented and parallel languages, and makes use of comparisons of alternative VMs to supply genuine, sensible examples. kingdom transitions are used as a proper procedure for the specification of digital machines all through and – furthermore – transitions and country transitions in relation to the overall operation are integrated for specification of the digital computing device for the event-based procedure.

Get Formal Methods for Components and Objects: Third PDF

Formal tools were utilized effectively to the verification of medium-sized courses in protocol and layout. despite the fact that, their software to the improvement of huge structures calls for extra emphasis on specification, modelling and validation thoughts helping the suggestions of reusability and modifiability, and their implementation in new extensions of present programming languages.

Download e-book for kindle: Programming Methodology by Annabelle Mclver, Carroll Morgan

The second one 1/2 the 20th century observed an striking bring up in computing energy; at the present time pcs are unbelievably quicker than they was, they've got extra reminiscence, they could speak normally with distant machines worldwide - and so they can healthy on a laptop. yet, regardless of this amazing development, the voracity of modem functions and consumer expectancies nonetheless pushes expertise correct to the restrict.

New PDF release: Prolog Versus You: An Introduction to Logic Programming

Prolog as opposed to You exhibits how one can take in the gauntlet of the good judgment programming language Prolog (PROgramming in common sense) and use it as an obedient programming and challenge fixing software. good judgment programming emphasizes that programming is a human job and for that reason that courses could be effortless for people to jot down, comprehend and manage.

Additional info for Abstraktion - Einfuhrung in die Programmierung

Sample text

Das ist gar nicht so einfach: manche naive Beschreibungen unendlicher Mengen beschreiben bei genauem Hinsehen gar nichts, entweder weil die Beschreibung inkonsistent ist oder die beschriebene Menge leer statt unendlich groß. Eine sichere Methode, korrekte Beschreibungen unendlicher Mengen zu produzieren, ist die induktive Definition. 1 Natürliche Zahlen Die natürlichen Zahlen, also die ganzen Zahlen ab 0, sind allen Menschen scheinbar vertraut. Trotzdem ist es überraschend schwierig die Menge der natürlichen Zahlen präzise und formal zu beschreiben.

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.

Der Teilausdruck, der ersetzt wird, ist links grün markiert, und rechts das Substitut in lila. Der Knopf links oben erlaubt es, an den Anfang der Auswertung zu gehen. Die Knöpfe < S c h r i t t und S c h r i t t > gehen jeweils einen Auswertungsschritt vorwärts bzw. rückwärts. Die Knöpfe mit Applikation sind ähnlich wie die Knöpfe S c h r i t t , führen aber gelegentlich mehrere Schritte auf einmal durch, um direkt die nächste Applikation zu ersetzen. Dieser Unterschied fallt mit den Programmen dieses Kapitels noch nicht weiter auf, wird aber bei der Behandlung von Verzweigungen in Kapitel 3 relevant.

Download PDF sample

Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren


by George
4.2

Rated 4.91 of 5 – based on 22 votes