Este texto explora los fundamentos teóricos de la computación y los lenguajes, alineándose con la idea de especificar y analizar programas mediante lógica matemática.
Programación y Lógica Matemática
por Richard Waldinger, Zohar Manna · 1993
Ver sugerenciasSinopsis
Este libro explora la relación intrínseca entre la lógica matemática y la programación, mostrando cómo la lógica se puede usar para especificar, verificar y sintetizar programas. Aborda temas como la lógica de Hoare, la lógica temporal y la programación lógica.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
El libro presenta una base teórica para la programación lógica y su conexión con la lógica de primer orden, similar al enfoque en la verificación formal de programas en el libro de referencia.
Introduce conceptos de lógica matemática aplicados a sistemas computacionales, abordando la verificación formal, en línea con la relación entre lógica y programación que se discute en el libro de referencia.
Se centra en los fundamentos teóricos de la programación lógica y sus aplicaciones prácticas, lo que refleja la estructura educativa del libro sobre lógica y programación.
Aborda técnicas formales para demostrar la corrección de programas, utilizando métodos lógicos que van directamente al corazón de la verificación de programas, al igual que el libro de referencia.
Introduce los principios de la programación lógica mediante Prolog, un enfoque que coincide con la utilización de lógica para especificar programas, similar al objetivo del libro de referencia.