Lógica Algorítmica y Programación Lógica (Algorithmic Logic and Logic Programming)
Helena Rasiowa
1989·ensayo
Ambos libros exploran marcos formales y fundamentos lógicos relacionados con la programación, profundizando en sus conexiones teóricas.
Logique et programmation
por Roland C. Backhouse · 2003
Ver sugerenciasSinopsis
Un libro que explora las conexiones profundas entre la lógica, la especificación formal y la programación. Presenta una perspectiva algebraica y lógica del diseño de programas, enfocándose en la derivación de algoritmos a partir de sus especificaciones.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto analiza cómo la lógica matemática puede describir y verificar algoritmos, similar a la perspectiva algebraica de Backhouse en programación.
Ambos libros abordan la lógica como base para un paradigma de programación, permitiendo una conexión directa entre teoría y práctica computacional.
Lovász presenta una perspectiva aplicada de la lógica y las matemáticas que complementa la exploración de algoritmos en relación con la programación.
Al igual que Backhouse, este libro establece una relación entre lógica matemática y la práctica de la programación, promoviendo la especificación de programas.
Arsac enfatiza la claridad y la corrección en el diseño de programas, un aspecto que también se refleja en la obra de Backhouse sobre derivación de algoritmos.