David Harel Bücher

In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstärksten Computer der Welt nicht alles können und niemals können werden. Eine provokative, mit Überraschungen gewürzte Botschaft, die uns an die Grenzen allen Wissens führt.

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren überhaupt möglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z. B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einführungskurses in die Informatik dienen, oder als allgemeine Informatik-Einführung in den Naturwissenschaften, der Mathematik oder im Ingenieurwesen.

This book provides the first comprehensive introduction to Dynamic Logic. schovat popis

This book focuses on scenarios of system behavior rather than a traditional narrative. It emphasizes reactive systems, including software, hardware, and computer-embedded systems like distributed and real-time systems. A new programming approach is proposed, centered on inter-object scenario-based behavior. The text introduces a language that extends live sequence charts (LSCs), initially proposed in 1998. Two key techniques are presented: the first, play-in, allows users to 'play in' scenario-based behavior directly from the system's graphical user interface (GUI). The second, play-out, enables the execution or 'play out' of this behavior on the GUI, akin to conventional intra-object state-based programming. This functionality is fully implemented in the Play-Engine tool. The book suggests enhancements for various phases of system development life cycles, such as requirements capture, analysis, prototyping, and testing. More radically, it proposes an alternative programming method for reactivity that aligns closely with how people naturally conceptualize systems and their behaviors.

Ksiązka jest napisana w przystępny sposób, co sprawia, że zagadnienia w niej przedstawione są zrozumiałe dla laika, jak i specjalisty w dziedzinie informatyki. W książce wyjaśniono koncepcje, metody i wyniki leżące u podstaw informatyki. Położono nacisk na te tematy, które są prawdziwie naukowe w tym sensie, że nie zależą od szczegółw dotyczących techniki komputerowej, języków programowania i formalizmów.

Wbrew powszechnie panującej opinii komputery nie potrafią wszystkiego. Istnieją bowiem zagadnienia, co do których wiadomo, że nie mają algorytmicznego rozwiązania, a także takie, co do których wiadomo, że dane rozwiązanie jest zupełnie niepraktyczne z uwagi na zapotrzebowanie na czas, pamięć lub liczbę procesorów. Autor niniejszej książki, dokonuje przeglądu najważniejszych wyników algorytmiki, przy czym czyni to prostym, zrozumiałym językiem.