Thomas Ottmann – författare

Die Programmiersprache Pascal ist inzwischen zur bevorzugten Sprache für die Einführung in das Programmieren an Universitäten geworden. Das ist natürlich kein Zufall, sondern eine Folge der Überzeugung, daß diese Sprache durch ihre klare und verhältnismäßig einfache Struktur das Programmieren als systematische Disziplin sehr gut unterstützt und damit eine positiv prägende Auswirkung auf das für die gesamte Informatik wichtige algorithmische Denken besitzt. Dieses Skript ist hervorgegangen aus Kursen an der Universität Karlsruhe für künftige Diplom-Wirtschaftsingenieure. Die dabei gesammelten Erfahrungen haben ihren Nie­ derschlag in diesem Buch gefunden. Es hat sich gezeigt, daß eine der Struktur der Sprache entsprechende systematische Darstellung der syntaktischen und semantischen "Features" zwar für einen erfahrenen Programmierer, der bereits andere Programmier­ sprachen kennt, die beste Einführung, für einen Anfänger aber unverdaulich ist. Wir haben daher versucht, eine Einführung in das Programmieren mit Pascal zu geben, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Das Programmieren in jeder Sprache verlangt ein dem Anfä. nger völlig ungewohntes Maß an Abstraktion und formaler Präzision. Es genügt aber unserer Erfahrung nach keineswegs, nur den mit dem Programmieren verbundenen Formalisierungsprozeß zu erklären. Eine ge­ naue Formulierung und weitgehend programmiersprachen unabhängige algorithmische Lösung von Problemen gehören unbedingt dazu. Neben der eher praktischen Schwierigkeit, die unsere Studenten mit der Ein- und Aus­ gabe von Daten hatten, konnten wir eine Reihe begrifflicher Verständnisschwierigkeiten beobachten. Die wichtigsten sind mit den Stichworten Blockstruktur, lokale und glo­ bale Namen,Rekursion, verschiedene Arten von Parametern in Prozeduren und Funk­ tionen, und schließlich Zeigertypen genannt.

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.

Algorithms are a central concept in computer science. TheGerman Science Foundation (DFG) started a special jointinitiative on data structures and efficient algorithms in1986 with the aim of encouraging collaborative research onalgorithms. For a period of five years about a dozenprojects were funded with an emphasis on algorithms and datastructures for geometric problems, on the one hand, andparallel and distributed algorithms, on the other.This volume contains 18 papers that are intended to give animpression of the achievements of this joint researchinitiative. The first group of papers addresses research onfundamental data structures, computational geometry, graphalgorithms, computer graphics, and spatial databases. Thesecond group of papers centers on the following problems:the design of parallel architectures and routing strategies,simulation of parallel machines, and the design ofdistributed algorithms for solving difficult problems.

Dieses Buch gibt eine Einführung in Pascal, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Schwerpunkt ist eine genaue Formulierung und weitgehend programmiersprachenunabhängige algorithmische Lösung von Problemen. Auf diesem Wege werden die Grundsätze zum Schreiben guter Pascal-Programme illustriert, da es nicht ausreicht, lediglich den Formalisierungsprozess zu erklären, der sich mit dem Programmieren verbindet. Die Darstellung des Buches ist hervorgegangen aus Kursen an der Universität Karlsruhe für Diplom-Wirtschaftsingenieure.

Dieses Buch gibt eine Einführung in Pascal, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Schwerpunkt ist eine genaue Formulierung und weitgehend programmiersprachenunabhängige algorithmische Lösung von Problemen. Auf diesem Wege werden die Grundsätze zum Schreiben guter Pascal-Programme illustriert, da es nicht ausreicht, lediglich den Formalisierungsprozess zu erklären, der sich mit dem Programmieren verbindet. Die Darstellung des Buches ist hervorgegangen aus Kursen an der Universität Karlsruhe für Diplom-Wirtschaftsingenieure.

Dieses bestens eingeführte Lehrbuch wendet sich an Studierende der Informatik in Grund- und Hauptstudium. Die einzelnen Algorithmen werden theoretisch fundiert dargestellt; ihre Funktionsweise wird ausführlich anhand vieler Beispiele erläutert. Zusätzlich zur halbformalen Beschreibung werden wichtige Algorithmen in Java formuliert.Das Themenspektrum reicht von Algorithmen zum Suchen und Sortieren über Hashverfahren, Bäume, Manipulation von Mengen bis hin zu Geometrischen Algorithmen und Graphenalgorithmen. Dabei werden sowohl der Entwurf effizienter Algorithmen und Datenstrukturen als auch die Analyse ihres Verhaltens mittels mathematischer Methoden behandelt. Das Buch eignet sich zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen. Eine Vielzahl von Aufgaben dient der weiteren Vertiefung des Gelernten. Java-Programme für die wichtigsten Algorithmen und ergänzende Materialien zum Buch werden online bereitgestellt.