Kurt Mehlhorn - Böcker

This textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and generic techniques for modeling, understanding, and solving algorithmic problems.

This textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and generic techniques for modeling, understanding, and solving algorithmic problems.

Dieses Buch behandelt Grundlagen von Programmiersprachen, deren Verknüpfung mit realen Rechenmaschinen und - exemplarisch - Algorithmen. Das Ziel des Buches ist es, eine solide Basis für das Studium der Informatik zu legen. Es ist ins­ besondere für Studenten im Grundstudium des Studienganges Informatik gedacht. Ein Programm ist nur dann brauchbar, wenn es das gestellte Problem korrekt löst, und dies darüber hinaus mit der gewünschten Effizienz tut. Aussagen über die Korrektheit und Effizienz eines Programms sind nur dann möglich, wenn die verwendete Programmiersprache exakt definiert ist, d.h., wenn die Menge der Pro­ gramme (Syntax) und deren Bedeutung (Semantik) festliegen. Die Definition von Syntax und Semantik nimmt daher in diesem Buch einen wichtigen Platz ein. For­ male Definitionen werden erst dann lebendig, wenn sie auf einem guten intuitiven Verständnis aufbauen, und wenn sie zu Folgerungen in der Form von Sätzen führen. Daher enthält dieses Buch eine große Anzahl von Beispielen, Sätzen und Aufgaben. Die Grundlagen der Programmiersprachen werden eingeführt anhand einer spezifischen Programmiersprache, PROSA genannt (PROgrammiersprache SAar­ brücken). PROSA ist der Programmiersprache Pascal sehr ähnlich, weicht aber in einigen Punkten (z.B. dynamische Felder, geschachtelte Verbunde) aus didaktischen Gründen ab. Die Abweichungen dienen zum einen der Vereinfachung, und zum an­ deren der lllustration einiger Konzepte, die Pascal nicht kennt. Die Benutzung von Pascal in einem begleitenden Programmierpraktikum stellt aber keinerlei Problem dar.

Die Gesellschaft für Informatik veranstaltet ihre 30. Jahrestagung, die Informatik 2000, vom 19.- 22. September 2000 in Berlin. Die Jahrestagung 2000 beschäftigt sich mit den zentralen Themen "Zukunft der Informatik-Ausbildung","Bioinformatik", "Aktuelle Trends in der Informatik" und "Softwaretechnik 2000".Neben Praxisberichten aus der Industrie finden sich Forschungsberichte namhafter aber auch junger Forscher. Die genannten Schwerpunktthemen werden durch Workshops, die im Schlußkapitel des Kongressbandes dokumentiert sind, sinnvoll ergänzt.

The algorithms are presented in a modern way, with explicitly formulated invariants, and comment on recent trends such as algorithm engineering, memory hierarchies, algorithm libraries and certifying algorithms.

Algorithmen bilden das Herzstück jeder nichttrivialen Anwendung von Computern, und die Algorithmik ist ein modernes und aktives Gebiet der Informatik.

The algorithms are presented in a modern way, with explicitly formulated invariants, and comment on recent trends such as algorithm engineering, memory hierarchies, algorithm libraries and certifying algorithms.

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.