Presenta la lógica matemática aplicada a la computación, enfatizando la verificación formal, al igual que Fundamentos de Lógica Computacional.
Fundamentos de Lógica Computacional
por Ricardo Peña · 2002
Ver sugerenciasSinopsis
Este libro proporciona una base sólida en lógica matemática aplicada a la computación, cubriendo lógica proposicional, lógica de predicados de primer orden y sus aplicaciones en la verificación de programas y la lógica como paradigma de programación.
Sé el primero en valorar este libro.
Más de Ricardo Peña
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Se centra en los fundamentos teóricos de la programación lógica, explorando conceptos que son esenciales en la lógica computacional.
Aborda la lógica de primer orden y su vínculo con la verificación de programas, similar a los enfoques en el libro de referencia.
Explora cómo la lógica matemática se manifiesta en el proceso de programación y verificación, un tema central en Fundamentos de Lógica Computacional.
Proporciona una base teórica sólida en lógica de primer orden y su uso en programación, alineándose con los contenidos del libro de referencia.
Explica los fundamentos de la lógica aplicados a la informática, desarrollando habilidades algorítmicas y de razonamiento, tal como en el texto de Peña.