Ambos libros exploran métodos de demostración automatizada, enfocándose en la lógica y su aplicación en la inteligencia artificial.
Principios de demostración automática
por Donald W. Loveland · 1978
Ver sugerenciasSinopsis
Este libro detalla los fundamentos teóricos y las técnicas para la demostración automatizada de teoremas, un campo que busca máquinas capaces de inferir lógicamente y probar la validez de enunciados.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que el libro de referencia, este texto introduce conceptos fundamentales de lógica y sus aplicaciones prácticas en la informática.
Se centra en fundamentos teóricos de la programación lógica, similar al enfoque de Loveland en la demostración automatizada de teoremas.
Este libro profundiza en la lógica de primer orden, crucial para la demostración automática, conectando así con los fundamentos de Loveland.
Ofrece una estructura riguroso sobre lógica matemática, pertinente para comprender las bases teóricas de la demostración automática de teoremas.
Explora los principios subyacentes de la programación lógica, reflejando la atención de Loveland hacia las técnicas de inferencia lógica.