Lógica dinámica

Opiniones de los lectores

El libro ofrece una explicación detallada de la lógica dinámica, haciéndola accesible para la comprensión de diversas construcciones lógicas. Destaca la importancia de la lógica formal en la ingeniería del software y sus aplicaciones en el razonamiento sobre algoritmos informáticos.

⬤ Explicación clara y completa de la Lógica Dinámica.
⬤ Valiosas ideas sobre la lógica formal y su relevancia para los ingenieros de software.
⬤ Ayuda a construir una base para entender extensiones de la lógica como la lógica modal y temporal.

⬤ Algunos lectores pueden encontrar el libro sólo un paso introductorio ('aperitivo') sin entrar en detalles avanzados.
⬤ No aborda el software de razonamiento automatizado, que algunos lectores podrían esperar.

(basado en 3 opiniones de lectores)

Título original:

Dynamic Logic

Contenido del libro:

Este libro proporciona la primera introducción completa a la Lógica Dinámica.

Entre las muchas aproximaciones al razonamiento formal sobre programas, la Lógica Dinámica disfruta de la singular ventaja de estar fuertemente relacionada con la lógica clásica. Sus variantes constituyen generalizaciones y extensiones naturales de los formalismos clásicos. Por ejemplo, la Lógica Dinámica Proposicional (LDP) puede describirse como una mezcla de tres ingredientes clásicos complementarios: el cálculo proposicional, la lógica modal y el álgebra de sucesos regulares. En la Lógica Dinámica de Primer Orden (DL), el cálculo proposicional se sustituye por el clásico cálculo de predicados de primer orden. La Lógica Dinámica es un sistema de notable unidad, de gran riqueza teórica y valor práctico. Puede utilizarse para formalizar especificaciones de corrección y demostrar rigurosamente que un programa concreto cumple dichas especificaciones. También sirve para determinar la equivalencia de programas, comparar la capacidad expresiva de diversas construcciones de programación y sintetizar programas a partir de especificaciones.

Este libro constituye la primera introducción exhaustiva a la lógica dinámica. Se divide en tres partes. La primera parte repasa los conceptos fundamentales apropiados de la lógica y la teoría de la computabilidad y puede considerarse por sí sola una introducción a estos temas. En la segunda parte se analizan PDL y sus variantes, y en la tercera, DL y sus variantes. Se proporcionan ejemplos a lo largo de todo el libro, y al final de cada capítulo se incluyen ejercicios y una breve sección histórica.