Bewertung:
Das Buch bietet eine detaillierte Erläuterung der dynamischen Logik und macht sie für das Verständnis verschiedener logischer Konstrukte zugänglich. Es hebt die Bedeutung der formalen Logik in der Softwaretechnik und ihre Anwendungen bei der Argumentation über Computeralgorithmen hervor.
Vorteile:⬤ Klare und umfassende Erklärung der Dynamischen Logik.
⬤ Wertvolle Einblicke in die formale Logik und ihre Bedeutung für Software-Ingenieure.
⬤ Hilft, eine Grundlage für das Verständnis von Erweiterungen der Logik wie Modal- und Temporallogik zu schaffen.
⬤ Manche Leser werden das Buch nur als Einführung ('Appetizer') empfinden, ohne auf fortgeschrittene Details einzugehen.
⬤ Behandelt keine automatisierte logische Software, was manche Leser vielleicht erwarten.
(basierend auf 3 Leserbewertungen)
Dynamic Logic
Dieses Buch bietet die erste umfassende Einführung in die Dynamische Logik.
Unter den vielen Ansätzen zum formalen Schlussfolgern über Programme genießt die Dynamische Logik den einzigartigen Vorteil, dass sie stark mit der klassischen Logik verwandt ist. Ihre Varianten stellen natürliche Verallgemeinerungen und Erweiterungen der klassischen Formalismen dar. Beispielsweise kann die Dynamische Aussagenlogik (PDL) als eine Mischung aus drei komplementären klassischen Bestandteilen beschrieben werden: Aussagenkalkül, Modallogik und die Algebra der regelmäßigen Ereignisse. In der Dynamischen Logik erster Ordnung (DL) wird die Aussagenlogik durch die klassische Prädikatenlogik erster Ordnung ersetzt. Die dynamische Logik ist ein System von bemerkenswerter Einheitlichkeit, das sowohl theoretisch reichhaltig als auch von praktischem Wert ist. Sie kann zur Formalisierung von Korrektheitsspezifikationen und zum rigorosen Nachweis verwendet werden, dass diese Spezifikationen von einem bestimmten Programm erfüllt werden. Weitere Verwendungszwecke sind die Bestimmung der Äquivalenz von Programmen, der Vergleich der Ausdruckskraft verschiedener Programmierkonstrukte und die Synthese von Programmen aus Spezifikationen.
Dieses Buch bietet die erste umfassende Einführung in die dynamische Logik. Es ist in drei Teile gegliedert. Der erste Teil gibt einen Überblick über die entsprechenden grundlegenden Konzepte der Logik und der Berechenbarkeitstheorie und kann für sich allein als Einführung in diese Themen stehen. Der zweite Teil behandelt die PDL und ihre Varianten, und der dritte Teil behandelt die DL und ihre Varianten. Es werden durchgängig Beispiele gegeben, und am Ende jedes Kapitels finden sich Übungen und ein kurzer historischer Abschnitt.
| ISBN: | 9780262527668 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
