Este libro establece fundamentos de lógica matemática aplicados a la computación, similar a la introducción de lógica en el libro de Genesereth y Nilsson.
Lógica y fundamentos de la computación
por Michael R. Genesereth, Nils J. Nilsson · 1987
Ver sugerenciasSinopsis
Este libro introduce los conceptos de la lógica matemática y su aplicación directa a los sistemas computacionales, explorando temas como la representación del conocimiento y la verificación formal.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Aborda cómo la lógica matemática se utiliza para verificar programas, un aspecto que coincide con la verificación formal discutida en el libro de referencia.
Explora la relación entre la lógica y la programación, al igual que el enfoque del libro de referencia en la representación del conocimiento en sistemas computacionales.
Presenta diversas aplicaciones de la programación lógica, reflejando el interés del libro original por la lógica aplicada a la inteligencia artificial.
Introduce los principios de la programación lógica mediante un enfoque similar al que Genesereth y Nilsson utilizan para explicar las teorías computacionales.
Discute conceptos de computabilidad y lógica matemática fundamentales, así como sus aplicaciones, en línea con los temas explorados en el libro de referencia.