En algunas ocasiones las existencias pueden estar erróneas o no se lo podremos conseguir en el plazo señalado. Confiamos en su comprensión y le agradecemos la confianza depositada. Esperamos no defraudarle.
La programación declarativa se basa en la idea de utilizar un cierto tipo de lógica como lenguaje de programación. Esto incluye tanto la programación lógica (o relacional, que usa un lenguaje clausal para programar y el principio de resolución como mecanismo de ejecución) como la funcional (que usa el lenguaje de las funciones matemáticas y la reducción de expresiones como mecanismo computacional).Este libro aspira a desarrollar una presentación básica completa del paradigma de la programación lógica. Así, aunque se dedica una gran atención a los conceptos de base y se proporciona para ellos una formación en amplitud no exenta de profundidad, también se concede gran importancia a las aplicaciones prácticas. La obra se ajusta a un esquema de presentación (estándar) de un curso introductorio de programación lógica en las Escuelas de Ingeniería Informática. Las características que la distinguen son:-Desarrollo soportado por sólidas bases formales-Equilibro entre los contenidos formales y los prácticos-Soporte para métodos formales ligeros-Obra autocontenida
Este sitio web sólo utiliza cookies propias. Puedes configurar la utilización de cookies u obtener más información aquí
Más información sobre el uso de "cookies" y sus opciones de privacidad
Este sitio web utiliza cookies propias que se detallan a continuación en el panel de configuración.
A través del mismo, puede aceptar o rechazar de forma diferenciada el uso de cookies, que están clasificadas en función del servicio. En cada uno de ellos encontrará información adicional sobre sus cookies. Puede encontrar más información en la Política de cookies.
Estrictamente necesarias (técnicas):
Se usan para actividades que son estrictamente necesarias para gestionar o prestar el servicio que usted nos ha solicitado y, por tanto, no exigen su consentimiento.
