RP

Ricardo Peña

colombiano

Ricardo Peña es un escritor y poeta contemporáneo, conocido por su obra en el ámbito de la literatura colombiana. Su trabajo abarca temas sociales y culturales que reflejan la realidad de su país.

Obras en el archivo

2 títulos

Un texto introductorio al paradigma de la programación lógica, utilizando Prolog como lenguaje principal para ilustrar conceptos como la unificación, la resolución y la inferencia automática.

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.

Autores relacionados

Aparecen junto a Ricardo Peña en búsquedas del archivo