Un texto introductorio a la programación lógica utilizando Prolog, explorando la representación del conocimiento, la inferencia y la resolución de problemas mediante la construcción de relaciones y hechos lógicos.
francés
Jacques Cohen es un destacado matemático y escritor conocido por sus contribuciones en el campo de la lógica y la teoría de conjuntos. Su relevancia radica en sus trabajos sobre el fundamento matemático y su enfoque en la enseñanza de la matemática abstracta.
Un texto introductorio a la programación lógica utilizando Prolog, explorando la representación del conocimiento, la inferencia y la resolución de problemas mediante la construcción de relaciones y hechos lógicos.
1986·no ficcion
Este libro introduce los fundamentos teóricos y prácticos de la programación lógica, especialmente enfocada en el lenguaje Prolog, mostrando cómo la lógica formal puede ser utilizada directamente para expresar algoritmos y resolver problemas.
1989·no ficcion
Una introducción a la programación lógica y la inteligencia artificial, presentando diversos paradigmas y lenguajes, incluyendo Prolog, con ejemplos claros y ejercicios prácticos.
Aparecen junto a Jacques Cohen en búsquedas del archivo