Ambos libros presentan conceptos fundamentales de lógica, enfatizando su aplicación práctica en programación, lo que refuerza la pedagogía del cálculo de predicados.
Un paseo lógico por el cálculo de predicados
por Emilio Muñoz · 2001
Ver sugerenciasSinopsis
Un manual que introduce de forma rigurosa y paso a paso al cálculo de predicados, fundamental para la lógica y la programación declarativa, con numerosos ejercicios y demostraciones.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Introduce la programación lógica y el uso riguroso de Prolog, conectando directamente con el enfoque sistemático del cálculo de predicados de Muñoz.
Aborda la lógica declarativa de manera gradual y estructurada, similar a cómo Muñoz desglosa el cálculo de predicados en su obra.
Presenta un enfoque práctico de la lógica y programación que complementa el estilo pedagógico y riguroso de Muñoz en su manual.
Se enfoca en los principios de la programación lógica, utilizando un enfoque organizado que recuerda la metodología didáctica del cálculo de predicados.
Introduce la lógica formal y su aplicación en inteligencia artificial, alineándose con la rigurosidad del cálculo de predicados y su fundamentalidad en la lógica.