Este libro explora los fundamentos de la lógica algorítmica, un marco formal para el estudio de programas, y su relación con la programación lógica, ofreciendo una perspectiva teórica profunda.
polaca
Helena Rasiowa fue una matemática polaca reconocida por sus contribuciones en lógica matemática y teoría de grafos. Es considerada una pionera en la investigación de la lógica algebraica y su trabajo ha influido en el desarrollo de la matemática en Polonia y más allá.
Este libro explora los fundamentos de la lógica algorítmica, un marco formal para el estudio de programas, y su relación con la programación lógica, ofreciendo una perspectiva teórica profunda.
Aparecen junto a Helena Rasiowa en búsquedas del archivo