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

Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

This publication constitutes the completely revised post-workshop complaints of the 1st annual workshop held less than the auspices of the ESPRIT operating team 21900 kinds in Aussois, France in December 1996. The 18 revised complete papers offered within the e-book have been conscientiously reviewed and chosen from the 30 papers accredited for presentation on the workshop.

The Modula-2 Software Component Library

Resource Code Availability all the resource code present in this quantity, and a few that isn't, is on the market from the writer at a nominal rate. the writer is attracted to studying of any blunders which may be came upon, although care has been taken within the building of the modules to reduce those. the writer is additionally attracted to different reviews, feedback, strategies, questions or studies with using those modules.

The NCL Natural Constraint Language

"The NCL typical Constraint Language"presents the NCL language that's an outline language in traditional mathematical good judgment for modeling and fixing constraint delight difficulties. NCL differs from different declarative languages: It types difficulties obviously in a simplified type of first-order common sense with quantifiers, Boolean common sense, numeric constraints, set operations and logical services; it solves difficulties through combined set programming over the combined area of genuine numbers, integers, Booleans, dates/times, references, and specifically units.

Expert T-SQL Window Functions in SQL Server

Specialist T-SQL Window services in SQL Server takes you from any point of information of windowing features and turns you into a professional who can use those robust features to unravel many T-SQL queries. exchange sluggish cursors and self-joins with queries which are effortless to jot down and beautifully higher acting, throughout the magic of window capabilities.

Extra resources for Abstraktion - Einfuhrung in die Programmierung

Sample text

Schreibe eine Prozedur, die für einen gegebenen Spielstand den optimalen Zug ausrechnet. 12 Schreibe Daten- und Record-Definitionen für geometrische Figuren, wobei eine geometrische Figur ein Quadrat, ein Kreis oder ein Rechteck sein kann. Schreibe eine Prozedur, die für eine geometrische Figur (ein Quadrat, einen Kreis oder ein Rechteck) den Flächeninhalt berechnet. 13 Schreibe Daten- und Record-Definitionen für Züge. Ein Zug ist entweder ein Regionalexpress, ein IC oder ein ICE. Ein IC ist durch einen festen IC-Zuschlag, der ICE durch einen Zuschlag pro Kilometer charakterisiert.

5 Induktive Definitionen Informatiker stehen immer wieder vor dem Problem, große oder gar unendliche Mengen von Daten knapp, aber präzise zu beschreiben. Eine Aufzählung sämtlicher in Frage kommender Daten ist aus ökonomischen Zwecken nicht ratsam und bei unendlichen Mengen unmöglich. Mathematiker beschreiben Mengen deshalb oft abstrakt durch ihre Eigenschaften. 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ß.

Schreibe eine Prozedur from, die eine Dokumentenzusammenfassung konsumiert und eine Zeichenkette zurückgibt, die repräsentiert, von wem das Dokument ist. 9 Schreibe Daten- und Strukturdefinitionen für Zutaten, bei der eine Zutat durch Namen, Mengenangabe, Maßeinheit und eine Dichte gekennzeichnet ist. Die Maßeinheit kann eine Volumen- oder eine Massen-Maßeinheit sein. Die Dichte ist in kg/m^ angegeben. Schreibe Prozeduren i n g r e d i e n t - > m i l l i l i t e r s und ingredient->grams wie oben für diese Definition.

Download PDF sample

Rated 4.59 of 5 – based on 21 votes